[m-rev.] diff: fix binary distribution creation failure
Simon Taylor
stayl at cs.mu.OZ.AU
Fri Dec 21 15:42:51 AEDT 2001
Estimated hours taken: 0.1
tools/test_mercury:
Unlimit CPU usage before creating the binary distribution.
This avoids failures on murlibobo.
Change the time limit back to 5 minutes.
Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.175
diff -u -u -r1.175 test_mercury
--- test_mercury 17 Dec 2001 02:35:46 -0000 1.175
+++ test_mercury 21 Dec 2001 04:38:22 -0000
@@ -38,8 +38,8 @@
# Make the files writable by group mercury.
umask 002
-# Stop looping tests after 10 minutes of CPU time.
-ulimit -S -t 600
+# Stop looping tests after 5 minutes of CPU time.
+ulimit -S -t 300
# Host to use to build the release of the day.
ROTD_HOST=earth
@@ -910,6 +910,8 @@
: build the binary distribution
+echo "test_mercury starting to create binary distribution at `date`" 1>&2
+
# For the Linux systems, we need to distinguish them based
# on the version of GNU libc.
# Also we distinguish them based on what optimization level
@@ -967,6 +969,9 @@
# cvs does not allow `.' or space in tag names, so we use `_' instead
fullname_tag=`echo $fullname | tr ' .' __`
+# On murlibobo building the binary distribution takes a lot of CPU time.
+ulimit -S -t unlimited
+
{
cd $DIR/mercury &&
mmake bindist &&
@@ -1000,6 +1005,7 @@
;;
esac
+echo "test_mercury finished binary distribution at `date`" 1>&2
#-----------------------------------------------------------------------------#
case $status in
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the reviews
mailing list