[m-rev.] diff: update run_all_tests_from_cron script

[Julien Fischer]

Update this script for the 0.12 release and bring it back
it to sync with the version /home/mercury/public/test_mercury/scripts.

Estimated hours taken: 0.1
Branches: main, release

tools/run_all_tests_from_cron:
	Update this script in preparation for the 0.12 release.
	Delete references to hosts that no longer exist.

Index: run_all_tests_from_cron
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.62
diff -u -r1.62 run_all_tests_from_cron
--- run_all_tests_from_cron	2 Jul 2004 03:07:40 -0000	1.62
+++ run_all_tests_from_cron	31 Jan 2005 04:42:28 -0000
@@ -72,12 +72,12 @@

 #-----------------------------------------------------------------------------#

-release_branch=0.11
+release_branch=0.12
 case "$BRANCH" in
     "")
         DAY=`date '+%e'`
         case $HOST in
-	    taifun|mundroo)
+	    mundroo)
 	    	# For these hosts we only run 3 times a week;
 		# twice during the week and once on the weekend.
 		# During the week, test the main branch.
@@ -87,7 +87,7 @@
 			*)	BRANCH=latest ;;
 		esac
 		;;
-	    murlibobo|hg|hydra|mars)
+	    hg)
 		#
 		# For these hosts:
 		# On odd-numbered days, test the release branch.
@@ -219,7 +219,7 @@

 # NB we can't just pipe into `mutt' because the $mail_subject file
 # needs to be written before `mutt' is started.
-mutt -s "`cat $mail_subject`" fjh at cs.mu.oz.au < $tmpfile
+mutt -s "`cat $mail_subject`" zs at cs.mu.oz.au < $tmpfile
 rm -f $tmpfile $tmpscript $mail_subject

 #-----------------------------------------------------------------------------#

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------