[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