[m-rev.] trivial diff: fix PATH problem in run_all_tests_from_cron

Simon Taylor stayl at cs.mu.OZ.AU
Sun Aug 26 17:30:30 AEST 2001


Estimated hours taken: 0.1

tools/run_all_tests_from_cron:
	It wasn't finding mutt on murlibobo (in /usr/local/bin).
	Make sure PATH isn't set inside a sub-shell.

Index: run_all_tests_from_cron
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -u -r1.37 -r1.38
--- run_all_tests_from_cron	2001/08/25 09:37:28	1.37
+++ run_all_tests_from_cron	2001/08/26 07:29:11	1.38
@@ -12,16 +12,12 @@
 # should be updated manually.
 
 #-----------------------------------------------------------------------------#
+
 tmpfile=/tmp/run_test$$
 tmpscript=/tmp/test_mercury$$
 mail_subject=/tmp/test_mercury_mail$$
 trap 'rm -f $tmpfile $tmpscript $mail_subject; exit 1' 1 2 3 13 15
 
-# Redirect all output to $tmpfile to stop cron mailing
-# content-free messages to mercury at cs.mu.oz.au.
-{
-tm_dir=/home/mercury/public/test_mercury
-
 #-----------------------------------------------------------------------------#
 
 ulimit -c 0
@@ -69,6 +65,13 @@
 
 CVSROOT=/home/mercury1/repository
 export CVSROOT
+
+#-----------------------------------------------------------------------------#
+
+# Redirect all output to $tmpfile to stop cron mailing
+# content-free messages to mercury at cs.mu.oz.au.
+{
+tm_dir=/home/mercury/public/test_mercury
 
 cd /home/mercury/public/test_mercury/scripts;
 cvs checkout mercury/tools/test_mercury
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list