[m-rev.] diff: make goliath the rotd host

[Julien Fischer]

tools/test_mercury:
 	Make goliath the ROTD host since saturn keeps dying.

Julien.

Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.385
diff -u -r1.385 test_mercury
--- test_mercury	18 Jan 2011 11:36:59 -0000	1.385
+++ test_mercury	7 Feb 2011 04:15:07 -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=saturn
+ROTD_HOST=goliath

  # Host to use to build the release of the day mercury-gcc source distribution.
  # We don't currently test the gcc backend.
@@ -277,7 +277,7 @@
      # test things at different optimization levels...

      $ROTD_HOST)
-        OPTIMIZE="-O2 --intermodule-optimization"
+        OPTIMIZE="-O5 --intermodule-optimization"
          ;;

      saturn)

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