[m-rev.] diff: change rotd host

[Julien Fischer]

tools/test_mercury:
 	Make saturn the ROTD host since aral is not working
 	at the moment.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.360
diff -u -r1.360 test_mercury
--- test_mercury	19 Nov 2009 02:58:24 -0000	1.360
+++ test_mercury	17 Dec 2009 19:57:43 -0000
@@ -106,7 +106,7 @@

  # Host to use to build the release of the day source distribution
  # for the mercury-compiler, mercury-tests, and mercury-extras distributions.
-ROTD_HOST=aral
+ROTD_HOST=saturn

  # Host to use to build the release of the day mercury-gcc source distribution.
  # We don't currently test the gcc backend.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------