changeset 60:01e6213c3f91

Merge
author Chris Cannam
date Fri, 12 Sep 2014 08:17:00 +0100
parents 6d9afb9d5571 (diff) 25ebdd75ba19 (current diff)
children bc74506fe975
files SCRIPTS/process.sh
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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