[m-rev.] diff: stop test_mercury exceeding process limit

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main, release

tests/startup:
tests/shutdown:
tests/handle_options:
	Don't use `mmake -j realclean' (which puts no limit on the
	number of jobs run). This was exceeding the process limit
	on mundroo.

Index: handle_options
===================================================================
RCS file: /home/mercury1/repository/tests/handle_options,v
retrieving revision 1.8
diff -u -u -r1.8 handle_options
--- handle_options	27 Jun 2001 05:04:43 -0000	1.8
+++ handle_options	18 Jul 2002 05:47:21 -0000
@@ -23,6 +23,9 @@
 
 targetopt=""
 jfactor=""
+
+# Run multiple jobs when doing `mmake realclean' for faster cleanup over NFS.
+rm_jfactor="-j10"
 flagsopt=""
 mgnucflagsopt=""
 cflagsopt=""
Index: shutdown
===================================================================
RCS file: /home/mercury1/repository/tests/shutdown,v
retrieving revision 1.2
diff -u -u -r1.2 shutdown
--- shutdown	12 Jul 1999 06:24:59 -0000	1.2
+++ shutdown	18 Jul 2002 05:44:18 -0000
@@ -1,4 +1,4 @@
 echo cleaning up the directory after the tests
-mmake $gradeopt $jfactor realclean_local > /dev/null 2>&1
+mmake $gradeopt $rm_jfactor realclean_local > /dev/null 2>&1
 rm core > /dev/null 2>&1
 touch CLEAN
Index: startup
===================================================================
RCS file: /home/mercury1/repository/tests/startup,v
retrieving revision 1.5
diff -u -u -r1.5 startup
--- startup	2 Nov 2001 03:57:22 -0000	1.5
+++ startup	18 Jul 2002 05:44:15 -0000
@@ -4,7 +4,7 @@
 	rm -f CLEAN > /dev/null 2>&1
 else
 	rm -f CLEAN > /dev/null 2>&1
-	mmake $gradeopt -j realclean_local > /dev/null 2>&1
+	mmake $gradeopt $rm_jfactor realclean_local > /dev/null 2>&1
 	/bin/rm *.d *.dep *.int *.int2 *.int3 *.date *.date3 > /dev/null 2>&1
 	/bin/rm *.opt *.optdate *.trans_opt *.trans_opt_date > /dev/null 2>&1
 fi
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------