diff options
Diffstat (limited to 'test/errchk')
| -rwxr-xr-x | test/errchk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/errchk b/test/errchk index b0edd7a6b..fbb021ce4 100755 --- a/test/errchk +++ b/test/errchk @@ -73,6 +73,7 @@ sub chk { my @match; foreach my $src (@{$src{$file}}) { $line++; + next if $src =~ m|////|; # double comment disables ERROR next unless $src =~ m|// (GC_)?ERROR (.*)|; $regexp = $2; if($regexp !~ /^"([^"]*)"/) { |