[m-dev.] trivial diff: new option for boothcheck

[Zoltan Somogyi]

Estimated hours taken: 0.1

tools/bootcheck:
	Add an option for stopping afterbuilding stage 2.

Zoltan.

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.84
diff -u -b -r1.84 bootcheck
--- bootcheck	1999/07/30 04:58:32	1.84
+++ bootcheck	1999/08/04 02:53:36
@@ -60,6 +60,8 @@
 	-3, --keep-stage-3
 		Don't rebuild the stage 3 directory from scratch after
 		building stage 1.  Instead use the existing stage 3 directory.
+	--stop-after-stage-2
+		Stop after building stage 2, even if it is successful.
 	--use-subdirs
 		Assume intermediate files are built in subdirectories.
 		(Same as the \`--use-subdirs' option to mmake and mmc.)
@@ -79,6 +81,7 @@
 copy_profiler=false
 keep_stage_2=false
 keep_stage_3=false
+stop_after_stage_2=false
 if [ -d compiler/Mercury ]; then
 	use_subdirs=${MMAKE_USE_SUBDIRS=yes}
 else
@@ -152,6 +155,9 @@
 	-3|--keep-stage-3)
 		keep_stage_3=true ;;
 
+	--stop-after-stage-2)
+		stop_after_stage_2=true ;;
+
 	--use-subdirs)
 		use_subdirs=yes ;;
 	--no-use-subdirs)
@@ -446,6 +452,12 @@
 	else
 		echo "building of stage 2 not successful"
 		exit 1
+	fi
+
+	if $stop_after_stage_2
+	then
+		echo "stopping after building stage 2"
+		exit 0
 	fi
 
 	# We can remove the library object files now,
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------