[m-rev.] diff: makebatch --stop-after-stage-2

[Zoltan Somogyi]

tools/makebatch:
	Add the option --stop-after-stage-2, which invokes the corresponding
	option of bootcheck.

Zoltan.

cvs diff: Diffing .
Index: makebatch
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/makebatch,v
retrieving revision 1.33
diff -u -b -r1.33 makebatch
--- makebatch	14 Sep 2005 03:38:22 -0000	1.33
+++ makebatch	16 Oct 2005 06:16:08 -0000
@@ -38,6 +38,7 @@
 errfiles="false"
 compile_times=""
 testparams=""
+stop_after_stage_2=""
 failed="continue"
 
 while test $# -gt 0
@@ -72,6 +73,9 @@
     -s|--stop-at-failure)
         failed="stop" ;;
 
+    --stop-after-stage-2)
+        stop_after_stage_2="--stop-after-stage-2" ;;
+
     -t-|--no-test-suite)
         runtests="-t-" ;;
 
@@ -212,7 +216,8 @@
     succeeded=false
     created_compiler=false
     if tools/bootcheck $gradeopt --copy-runtime $jfactor $runtests \
-        $objects $compile_times $testparams > batch/$batch.out.$visn 2>&1
+        $objects $compile_times $stop_after_stage_2 $testparams \
+        > batch/$batch.out.$visn 2>&1
     then
         succeeded=true
         created_compiler=true
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------