# HG changeset patch
# User Chris Cannam
# Date 1410506139 -3600
# Node ID 6d9afb9d5571e713de8242837085f0e54025b90c
# Parent  78677dbd2d9a57e190d7ef741844d27609b8f3eb
Add easily-identified summary tags to the summary files

diff -r 78677dbd2d9a -r 6d9afb9d5571 .hgsubstate
--- a/.hgsubstate	Fri Aug 08 11:52:45 2014 +0100
+++ b/.hgsubstate	Fri Sep 12 08:15:39 2014 +0100
@@ -5,7 +5,7 @@
 00cffb79d0e0d84e63914c0079601145fa6997ae pyin
 df9b98c6baf8766b52a16c15ee50b11837c0a599 qm-vamp-plugins
 6b23b827b108103ae9d1f412dc6c282a21302520 segmenter-vamp-plugin
-7d2eb4d84002ae0a68e1ab5a2b932126c922102b silvet
+71bef111e130830ad5716fb5a060ba55afb37be6 silvet
 b835875739968beb870e7e09132aa361656a8a30 vamp-aubio-plugins
 81146373f024be1c82371f04262cf2ae1680cb61 vamp-libxtract-plugins
 8bc4ec815b6b695371dc9dda500191892ca5d2a7 vamp-onsetsds-plugin
diff -r 78677dbd2d9a -r 6d9afb9d5571 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Fri Aug 08 11:52:45 2014 +0100
+++ b/SCRIPTS/process.sh	Fri Sep 12 08:15:39 2014 +0100
@@ -575,7 +575,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
@@ -585,7 +585,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
@@ -593,7 +593,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
@@ -601,7 +601,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