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

[Simon Taylor]

Estimated hours taken: 0.1

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

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

Index: run_all_tests_from_cron
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.32
diff -u -u -r1.32 run_all_tests_from_cron
--- run_all_tests_from_cron	2001/08/11 05:29:39	1.32
+++ run_all_tests_from_cron	2001/08/15 16:40:03
@@ -66,7 +66,7 @@
 PATH="/home/mercury/public/$HOST:$PATH"
 export PATH
 
-CVSROOT=/home/staff/zs/imp
+CVSROOT=/home/mercury1/repository
 export CVSROOT
 
 tmpscript=/tmp/test_mercury$$
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------