[m-rev.] trivial diff: tools/test_mercury: *.txt bug fix

[Fergus Henderson]

Estimated hours taken: 0.75
Branches: main

tools/test_mercury:
	Fix a bug which was causing it to leave old versions of the
	mercury-*.txt files around.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: tools/test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.213
diff -u -d -r1.213 test_mercury
--- tools/test_mercury	20 Oct 2002 09:30:38 -0000	1.213
+++ tools/test_mercury	20 Oct 2002 10:05:07 -0000
@@ -1085,7 +1085,7 @@
 		$STABLE/mercury-INSTALL-$version.$fullname.txt &&
 	rsh $BETA_FTPHOST "rm -f \
 		$BETA_FTPDIR/mercury-$RELEASE_VERSION_PATTERN.$fullname.tar.gz \
-		$BETA_FTPDIR/mercury-$RELEASE_VERSION_PATTERN.$fullname.txt" &&
+		$BETA_FTPDIR/mercury*-$RELEASE_VERSION_PATTERN.$fullname.txt" &&
 	rcp $STABLE/mercury*-$version.$fullname.* $BETA_FTPHOST:$BETA_FTPDIR &&
 	case "$CVSROOT" in
 	    :pserver:guest* | :pserver:anon*)

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