[m-rev.] diff: fix for change to build source distribution on earth

[Simon Taylor]

Estimated hours taken: 0.25

tools/test_mercury:
	Fix a couple of places I missed in my change to
	build the source distribution on earth.
	Make it easier to change this in future.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.164
diff -u -u -r1.164 test_mercury
--- test_mercury	14 Oct 2001 10:33:30 -0000	1.164
+++ test_mercury	16 Oct 2001 08:31:07 -0000
@@ -37,6 +37,9 @@
 # Make the files writable by group mercury.
 umask 002
 
+# Host to use to build the release of the day.
+ROTD_HOST=earth
+
 #-----------------------------------------------------------------------------#
 
 #
@@ -657,7 +660,7 @@
 
 MERCURY_COMPILER=$BOOTSTRAP_MERCURY_COMPILER
 export MERCURY_COMPILER
-case $HOST in earth)
+case $HOST in $ROTD_HOST)
 	# The tests on earth are run with `--intermodule-optimization',
 	# so we need to do a `mmake realclean' before building the C files
 	# for the source distribution. The extra compilation time for
@@ -866,7 +869,7 @@
 
 : update the unstable release
 
-case $HOST in murlibobo)
+case $HOST in $ROTD_HOST)
 	rsh $BETA_FTPHOST \
 		"rm -f $BETA_FTPDIR/mercury-compiler-$RELEASE_VERSION_PATTERN-unstable.tar.gz" &&
 	rsh $BETA_FTPHOST \
@@ -981,7 +984,7 @@
 	: if we get this far, then it worked.
 	[ -d $TESTDIR/logs ] || mkdir -p $TESTDIR/logs
 	date >> $TESTDIR/logs/success."$TEST_ID"
-	case $HOST in earth)
+	case $HOST in $ROTD_HOST)
 	    cd $DIR &&
 		# Delete older stable versions that this one replaces
 	    rm -f $STABLE/mercury-*-$RELEASE_VERSION_PATTERN[0-9].tar.gz &&
@@ -1021,7 +1024,7 @@
 
 # Now rebuild the index files on the www site
 case $HOST in 
-    murlibobo)
+    $ROTD_HOST)
 	echo "test_mercury generating www index files, starting at `date`" 1>&2
 	(
 	cd $BETA_WEBDIR_TOP
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------