diff options
author | Chris Wilson <chris+github@qwirx.com> | 2014-02-07 22:23:22 +0000 |
---|---|---|
committer | Chris Wilson <chris+github@qwirx.com> | 2014-02-07 22:23:22 +0000 |
commit | f2138c8868d17607e42ba9dbc7e50ce6e2f18866 (patch) | |
tree | ad4dddd5e9149531c32d899032b7abc8188e68a8 /lib/server/makeprotocol.pl.in | |
parent | eb8f880803ee6577263d53c75442b55fe399a8a6 (diff) |
Don't write #include statements for empty filenames.
Diffstat (limited to 'lib/server/makeprotocol.pl.in')
-rwxr-xr-x | lib/server/makeprotocol.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/server/makeprotocol.pl.in b/lib/server/makeprotocol.pl.in index 6abffc7a..35814d1d 100755 --- a/lib/server/makeprotocol.pl.in +++ b/lib/server/makeprotocol.pl.in @@ -78,7 +78,7 @@ sub add_type my ($protocol_name, $cpp_name, $header_file) = split /\s+/,$_[0]; $translate_type_info{$protocol_name} = [0, $cpp_name]; - push @extra_header_files, $header_file; + push @extra_header_files, $header_file if $header_file; } # check attributes |