[m-rev.] trivial diff: test_mercury: increase CPU time limit

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	Increase the CPU time limit to 10 minutes. The tar process
	which creates the binary distribution was taking more than
	5 minutes of CPU time on murlibobo.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.174
diff -u -u -r1.174 test_mercury
--- test_mercury	12 Dec 2001 08:02:10 -0000	1.174
+++ test_mercury	17 Dec 2001 02:29:58 -0000
@@ -38,8 +38,8 @@
 # Make the files writable by group mercury.
 umask 002
 
-# Stop looping tests after 5 minutes of CPU time.
-ulimit -S -t 300
+# Stop looping tests after 10 minutes of CPU time.
+ulimit -S -t 600
 
 # Host to use to build the release of the day.
 ROTD_HOST=earth
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------