[m-rev.] makebatch -d

[Zoltan Somogyi]

tools/makebatch:
	Add an option to preserve the entire stage2 of each run in the batch.
	This can be useful e.g. when one uses makebatch to find out which
	optimization levels work and which do not, prior to applying
	tools/binary.

Zoltan.

cvs diff: Diffing tools
Index: tools/makebatch
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/makebatch,v
retrieving revision 1.21
diff -u -b -r1.21 makebatch
--- tools/makebatch	28 Mar 2002 03:29:50 -0000	1.21
+++ tools/makebatch	13 Apr 2002 18:47:23 -0000
@@ -25,11 +25,12 @@
 # that version. When makebatch exits normally, it removes the file to indicate
 # completion.
 
-usage="Usage: makebatch [-jN] [-cost] [--compile-times] [--test-params] batchname"
+usage="Usage: makebatch [-jN] [-cdeost] [--compile-times] [--test-params] batchname"
 jfactor=-j1
 runtests=""
 objects=""
 cfiles="false"
+save_stage2="false"
 errfiles="false"
 compile_times=""
 testparams=""
@@ -41,6 +42,9 @@
 	-c|--c-files)
 		cfiles="true" ;;
 
+	-d|--save-stage2-dirs)
+		save_stage2="true" ;;
+
 	-e|--err-files)
 		errfiles="true" ;;
 
@@ -246,6 +251,11 @@
 		/bin/rm -fr batch/errfiles/$batch.compiler.$visn/*
 		cp stage2/compiler/*.err batch/errfiles/$batch.compiler.$visn
 		# gzip batch/errfiles/$batch.compiler.$visn/*
+	fi
+
+	if $save_stage2
+	then
+		mv stage2 stage2.batch.$visn
 	fi
 
 	n=`expr $n + 1`
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------