[m-rev.] trivial diff: build source distribution on earth

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	Build the source distribution on earth again, now that
	earth is fixed and venus is flaky.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.178
diff -u -u -r1.178 test_mercury
--- test_mercury	29 Apr 2002 09:16:25 -0000	1.178
+++ test_mercury	15 Jul 2002 06:30:05 -0000
@@ -42,7 +42,7 @@
 ulimit -S -t 300
 
 # Host to use to build the release of the day.
-ROTD_HOST=venus
+ROTD_HOST=earth
 
 #-----------------------------------------------------------------------------#
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------