[m-dev.] diff: Speed up startup script in tests dir

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.1

tests/startup:
    Use -j when cleaning up the directory.

Index: startup
===================================================================
RCS file: /home/staff/zs/imp/tests/startup,v
retrieving revision 1.2
diff -u -r1.2 startup
--- startup	1999/07/12 06:24:59	1.2
+++ startup	2000/01/14 05:46:58
@@ -4,5 +4,5 @@
 	rm -f CLEAN > /dev/null 2>&1
 else
 	rm -f CLEAN > /dev/null 2>&1
-	mmake $gradeopt $jfactor realclean_local > /dev/null 2>&1
+	mmake $gradeopt -j realclean_local > /dev/null 2>&1
 fi

----
Peter Ross
PhD Student University of Melbourne
http://www.cs.mu.oz.au/~petdr/
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------