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/);
+}