diff: minor changes to test_mercury

[Fergus Henderson]

Estimated hours taken: 0.25

tools/test_mercury:
	- Fix a bug where it was not deleting the old stable rotds
	  when it added a new one; this was costing a lot of disk space...
	- Copy the rotd binary distributions to the beta ftp site.

Index: tools/test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.94
diff -u -r1.94 test_mercury
--- test_mercury	1999/03/18 01:03:11	1.94
+++ test_mercury	1999/03/18 01:03:23
@@ -497,7 +497,10 @@
     	cd $DIR &&
 	( [ -d $STABLE ] || mkdir $STABLE ) &&
 	rm -f $STABLE/mercury-*.$fullarch.tar.gz &&
-	cp $UNSTABLE/mercury-$version.$fullarch.tar.gz $STABLE
+	ln $UNSTABLE/mercury-$version.$fullarch.tar.gz $STABLE &&
+	rsh $BETA_FTPHOST "rm -f $BETA_FTPDIR/mercury-*.$fullarch.tar.gz" &&
+	rcp $STABLE/mercury-$version.$fullarch.tar.gz \
+		$BETA_FTPHOST:$BETA_FTPDIR 
        } || status=1
     ;;
 esac
@@ -513,6 +516,8 @@
 	date >> $TESTDIR/logs/successful_tests.$HOST
 	case $HOST in murlibobo)
 	    cd $DIR &&
+		# Only delete the stable rotds.
+	    rm -f $STABLE/mercury-*-rotd-*[0-9].tar.gz &&
 	    ln $UNSTABLE/mercury-compiler-$version-unstable.tar.gz \
 	        $STABLE/mercury-compiler-$version.tar.gz &&
 	    ln $UNSTABLE/mercury-extras-$version-unstable.tar.gz \

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.