[m-rev.] diff: limit nightly test process CPU time

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	Set the CPU time limit to 5 minutes to avoid having
	looping test cases running for days.

Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.171
diff -u -u -r1.171 test_mercury
--- test_mercury	14 Nov 2001 17:42:44 -0000	1.171
+++ test_mercury	11 Dec 2001 07:23:31 -0000
@@ -38,6 +38,9 @@
 # Make the files writable by group mercury.
 umask 002
 
+# 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
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------