diff options
-rwxr-xr-x | bin/fuzz.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/fuzz.pl b/bin/fuzz.pl index 0ddd8e33ea5..5a36d6fb717 100755 --- a/bin/fuzz.pl +++ b/bin/fuzz.pl @@ -489,6 +489,7 @@ sub check_for_empty_inline_files () while (<FILE>) { next if /^[:blank:]*$/; # skip empty lines next if /^[:blank:]*\/\//; # skip C++ comments + next if /^[:blank:]*\/\*/; # skip C++ comments $found_non_empty_line = 1; last; } |