diff options
| -rwxr-xr-x | tools/mkheaders | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mkheaders b/tools/mkheaders index d244f5cbc..9b6b6a75a 100755 --- a/tools/mkheaders +++ b/tools/mkheaders @@ -90,7 +90,7 @@ for my $path (@paths) { $indent = $1; } else { push @lines, $line; - push @linenums, $linenum; + push(@linenums, $linenum) if $line =~ /\S/; } } close $fh; |
