[m-rev.] trivial diff: improve test result mail

[Simon Taylor]

Estimated hours taken: 0.1

tools/run_all_tests_from_cron:
	Include the first 100 lines of the log file summary
	(not the log file) in the test result mail.

Index: run_all_tests_from_cron
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.41
diff -u -u -r1.41 run_all_tests_from_cron
--- run_all_tests_from_cron	2001/09/15 12:51:37	1.41
+++ run_all_tests_from_cron	2001/09/16 14:32:29
@@ -169,7 +169,7 @@
 if [ -s $logfile.errs ]; then
 	echo
 	echo first 100 lines of log file summary:
-	head -100 $logfile
+	head -100 $logfile.errs
 elif [ $test_status = "FAILED" ]; then
 	echo
 	echo last 20 lines of log file:
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------