[m-rev.] diff: tools/makebatch -e

[Zoltan Somogyi]

tools/makebatch:
	Add an option, -e, that asks makebatch to save the .err files generated
	during stage 2 compilation. This is useful e.g. to capture diagnostic
	dumps generated by --optimize-saved-vars.

Zoltan.

Index: makebatch
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/makebatch,v
retrieving revision 1.19
diff -u -b -r1.19 makebatch
--- makebatch	2001/12/12 08:02:09	1.19
+++ makebatch	2002/02/19 08:24:20
@@ -30,6 +30,7 @@
 runtests=""
 objects=""
 cfiles="false"
+errfiles="false"
 compile_times=""
 testparams=""
 
@@ -40,6 +41,9 @@
 	-c|--c-files)
 		cfiles="true" ;;
 
+	-e|--err-files)
+		errfiles="true" ;;
+
 	-j|--jobs)
 		jfactor="-j$2" ; shift ;;
 	-j*)
@@ -229,6 +233,19 @@
 		/bin/rm -fr batch/cfiles/$batch.compiler.$visn/*
 		cp stage2/compiler/*.c batch/cfiles/$batch.compiler.$visn
 		gzip batch/cfiles/$batch.compiler.$visn/*
+	fi
+
+	if "$errfiles"
+	then
+		echo saving err files
+		mkdir -p batch/errfiles/$batch.library.$visn
+		/bin/rm -fr batch/errfiles/$batch.library.$visn/*
+		cp stage2/library/*.err batch/errfiles/$batch.library.$visn
+		# gzip batch/errfiles/$batch.library.$visn/*
+		mkdir -p batch/errfiles/$batch.compiler.$visn
+		/bin/rm -fr batch/errfiles/$batch.compiler.$visn/*
+		cp stage2/compiler/*.err batch/errfiles/$batch.compiler.$visn
+		# gzip batch/errfiles/$batch.compiler.$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
--------------------------------------------------------------------------