[m-rev.] diff: simple error summaries for nightly tests

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tools/run_all_tests_from_cron:
	Output errors in the *.log files to *.log.errs.

Workspace: /home/mercury/public/test_mercury/scripts/mercury
Index: tools/run_all_tests_from_cron
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.31
diff -u -d -r1.31 run_all_tests_from_cron
--- tools/run_all_tests_from_cron	2001/07/28 16:46:26	1.31
+++ tools/run_all_tests_from_cron	2001/08/04 07:24:22
@@ -119,7 +119,9 @@
 esac
 
 mv -f $tm_dir/logs/old/$logname $tm_dir/logs/old2 2>/dev/null
+mv -f $tm_dir/logs/old/$logname.errs $tm_dir/logs/old2 2>/dev/null
 mv -f $tm_dir/logs/$logname $tm_dir/logs/old 2>/dev/null
+mv -f $tm_dir/logs/$logname.errs $tm_dir/logs/old 2>/dev/null
 logfile="$tm_dir/logs/$logname"
 
 tmpfile=/tmp/run_test$$
@@ -130,7 +132,14 @@
 if nice -5 sh $tmpscript $HOST $ARCH $FULLARCH $BRANCH $C_COMPILER \
 		> $logfile 2>&1
 then
-	echo test passed
+	fgrep '**' $logfile > $logfile.errs
+	if [ -s $logfile.errs ]; then
+		echo "test passed (with some errors supressed/ignored)"
+		echo "log file summary in $logfile.errs"
+	else
+		rm -f $logfile.errs
+		echo "test passed"
+	fi
 	echo
 	echo last 20 lines of log file:
 	tail -20 $logfile
@@ -149,8 +158,10 @@
 		echo
 	} >> $tm_dir/logs/sizes
 else
+	fgrep '**' $logfile > $logfile.errs
 	echo test FAILED
 	echo log file in $logfile
+	echo log file summary in $logfile.errs
 	echo
 	echo last 20 lines of log file:
 	tail -20 $logfile

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------