[m-rev.] diff: makebatch --quick

[Zoltan Somogyi]

tools/makebatch:
	Replace the --stop-after-stage-2 option with --quick, which also
	implies no test cases.

Zoltan

cvs diff: Diffing .
Index: makebatch
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/makebatch,v
retrieving revision 1.35
diff -u -b -r1.35 makebatch
--- makebatch	19 Oct 2005 05:38:32 -0000	1.35
+++ makebatch	20 Oct 2005 02:49:44 -0000
@@ -30,7 +30,7 @@
 # that version. When makebatch exits normally, it removes the file to indicate
 # completion.
 
-usage="Usage: makebatch [-jN] [-cdeost] [--compile-times] [--save-stage2-on-error] [--save-stage2-on-no-compiler] [--test-params] batchname"
+usage="Usage: makebatch [-jN] [-cdeoqst] [--compile-times] [--save-stage2-on-error] [--save-stage2-on-no-compiler] [--test-params] batchname"
 jfactor=-j1
 runtests=""
 objects=""
@@ -76,8 +76,10 @@
     -s|--stop-at-failure)
         failed="stop" ;;
 
-    --stop-after-stage-2)
-        stop_after_stage_2="--stop-after-stage-2" ;;
+    -q|--quick)
+        stop_after_stage_2="--stop-after-stage-2"
+        runtests="-t-"
+        ;;
 
     -t-|--no-test-suite)
         runtests="-t-" ;;
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------