used on the output from the differ utility, this will find all the files that

are mentioned as having differences.

diff --git a/scripts/text/snag_differ_files.sh b/scripts/text/snag_differ_files.sh
new file mode 100644 (file)
index 0000000..efc8c57
--- /dev/null
+++ b/scripts/text/snag_differ_files.sh
@@ -0,0 +1,12 @@
+
+file="$1"; shift
+
+if [ -z "$file" ]; then
+  echo "This script requires one filename that is a differ output file."
+  echo "All of the files with differences mentioned in the differ file will be"
+  echo "extracted and printed out."
+  exit 1
+fi
+
+grep "seen for [a-zA-Z0-9]*\.java" "$file" | sed -e "s/Differences seen for //" -e "s/:$//"
+