[m-rev.] diff: fix run_test to allow passing branch on cmd line

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tools/run_all_tests_from_cron:
	Add support for passing the branch to be tested on the command line.

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.30
diff -u -d -r1.30 run_all_tests_from_cron
--- tools/run_all_tests_from_cron	2001/04/12 04:55:40	1.30
+++ tools/run_all_tests_from_cron	2001/07/28 16:43:53
@@ -20,10 +20,12 @@
 ulimit -c 0
 
 C_COMPILER=gcc
+BRANCH=
 case $# in
 	1)	HOST=$1 ;;
 	2)	HOST=$1; C_COMPILER=$2 ;;
-	*)	echo "Usage: $0 host [c-compiler]" 1>&2; exit 1 ;;
+	3)	HOST=$1; C_COMPILER=$2; BRANCH=$3 ;;
+	*)	echo "Usage: $0 host [c-compiler] [branch]" 1>&2; exit 1 ;;
 esac
 
 case $HOST in
@@ -76,9 +78,11 @@
 
 #-----------------------------------------------------------------------------#
 
-DAY=`date '+%e'`
-case $HOST in
-	murlibobo|taifun|hg|hydra|mars)
+case "$BRANCH" in
+    "")
+        DAY=`date '+%e'`
+        case $HOST in
+	    murlibobo|taifun|hg|hydra|mars)
 		#
 		# For these hosts:
 		# On odd-numbered days, test the release branch.
@@ -89,7 +93,7 @@
 			*)	  BRANCH=latest ;;
 		esac
 		;;
-	*)
+	    *)
 		#
 		# For the remaining hosts, do the reverse:
 		# On odd-numbered days, test the main branch.
@@ -100,6 +104,8 @@
 			*)	  BRANCH=0.10 ;;
 		esac
 		;;
+        esac
+        ;;
 esac
 
 #-----------------------------------------------------------------------------#

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