[m-rev.] trivial diff: hardcode path of CVS repository test_mercury

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tools/test_mercury:
	Hardcode the path of the mercury CVS repository rather than relying
	on the mercury1 symbolic link existing.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.265
diff -u -r1.265 test_mercury
--- test_mercury	3 Nov 2005 02:20:01 -0000	1.265
+++ test_mercury	3 Nov 2005 09:09:59 -0000
@@ -41,7 +41,7 @@
 export PATH

 # Use NFS if we can, otherwise use anonymous cvs (pserver).
-CVSROOT=/home/mercury1/repository
+CVSROOT=/home/mercury/mercury1/repository
 if [ -d $CVSROOT/. ]; then
 	:
 else

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