[m-rev.] diff: make goliath the rotd host
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Feb 7 15:16:58 AEDT 2011
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
--------------------------------------------------------------------------
More information about the reviews
mailing list