diff options
Diffstat (limited to 'bin/vc_filter.pl')
-rwxr-xr-x | bin/vc_filter.pl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/vc_filter.pl b/bin/vc_filter.pl new file mode 100755 index 00000000000..f986cb5676a --- /dev/null +++ b/bin/vc_filter.pl @@ -0,0 +1,14 @@ +# $Id$ + +$fname = $ARGV[0]; + +open (fp, "$fname"); + +while ($line = <fp>) +{ + print $line if ($line =~/^--------------------Configuration:/ || + $line =~/^[A-Z_a-z0-9.]+ - [0-9]+ error\(s\), +[0-9]+ warning\(s\)/ || + $line =~/^[A-Z_a-z0-9.\\:]+\([0-9]+\) : / || + $line =~/^[A-Z_a-z0-9.\\:]+\.obj : / || + $line =~/^fatal error/); +} |