diff options
| -rwxr-xr-x | tools/tools/genericize/genericize.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/genericize/genericize.pl b/tools/tools/genericize/genericize.pl index 9a14543..6a74f86 100755 --- a/tools/tools/genericize/genericize.pl +++ b/tools/tools/genericize/genericize.pl @@ -66,7 +66,7 @@ MAIN:{ while (<GENERIC>) { my $line = $_; chomp(); - if ($opts{'c'} && m/^\#/) { + if ($opts{'c'} && m/^\s*\#/) { if ($blank) { print "\n"; $blank = 0; |
