[m-rev.] trivial diff: update CVSROOT in test_mercury

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	Avoid an unnecessary dependency on /home/staff.

	-CVSROOT=/home/staff/zs/imp
	+CVSROOT=/home/mercury1/repository

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.159
diff -u -u -r1.159 test_mercury
--- test_mercury	2001/08/14 16:08:23	1.159
+++ test_mercury	2001/08/15 16:12:07
@@ -27,7 +27,7 @@
 PATH="`pwd`:$PATH"
 export PATH
 
-CVSROOT=/home/staff/zs/imp
+CVSROOT=/home/mercury1/repository
 export CVSROOT
 
 # tell gcc to use /tmp, not /usr/tmp
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------