# HG changeset patch
# User Chris Cannam
# Date 1410506220 -3600
# Node ID 01e6213c3f91d4f06bfb384a9fa6e73ee706116b
# Parent  6d9afb9d5571e713de8242837085f0e54025b90c# Parent  25ebdd75ba194c5f6a19ce336000760b3b5cd6d5
Merge

diff -r 25ebdd75ba19 -r 01e6213c3f91 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Wed Sep 03 14:37:39 2014 +0100
+++ b/SCRIPTS/process.sh	Fri Sep 12 08:17:00 2014 +0100
@@ -589,7 +589,7 @@
     if ! grep -q "^$dir\$" "$testfailed"; then
 	if ! grep -q "^$dir\$" "$envcheckfailed"; then
 	    echo "$dir"
-	    echo "$dir: Success" >> "$slog"
+	    echo "$dir: OK: Success" >> "$slog"
 	fi
     fi
 done | sort
@@ -599,7 +599,7 @@
 cat "$testfailed" | sort | uniq | while read dir; do
     slog=$(logfile_for summary "$dir")
     echo "$dir"
-    echo "$dir: Built successfully, but failed tests" >> "$slog"
+    echo "$dir: TEST_FAILED: Built successfully, but failed tests" >> "$slog"
 done
 
 echo
@@ -607,7 +607,7 @@
 cat "$envcheckfailed" | sort | uniq | while read dir; do
     slog=$(logfile_for summary "$dir")
     echo "$dir"
-    echo "$dir: Built successfully, but failed environmental checks" >> "$slog"
+    echo "$dir: ENV_FAILED: Built successfully, but failed environmental checks" >> "$slog"
 done
 
 echo
@@ -615,7 +615,7 @@
 cat "$notbuilt" | sort | while read dir; do
     slog=$(logfile_for summary "$dir")
     echo "$dir"
-    echo "$dir: Failed to build" >> "$slog"
+    echo "$dir: BUILD_FAILED: Failed to compile" >> "$slog"
 done
 
 echo