[m-dev.] trivial diff: minor fixes to tools/bootcheck

[Fergus Henderson]

Estimated hours taken: 0.25

tools/bootcheck:
	Fix a bug in the help message.
	Also pass down $mmakeopts when invoking `mmake depend'.

Workspace: /home/pgrad/fjh/ws/hg
Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.103
diff -u -d -r1.103 bootcheck
--- tools/bootcheck	2000/11/01 13:09:42	1.103
+++ tools/bootcheck	2000/11/07 00:29:35
@@ -20,7 +20,7 @@
 		Run using <num-jobs> different parallel processes.
 	-k, --keep-objs
 		Keep the stage 2 object files even if stage 2 is successful.
-	-m <mmake-args>, --mmake-args <mmake-args>
+	-m <mmake-args>, --mmake-opts <mmake-args>
 		Pass <mmake-args> as options to \`mmake'.
 	-o <filename>, --output-file <filename>
 		Output results to <filename>.
@@ -298,13 +298,13 @@
 		echo "building of stage 1 successful"
 	else
 		cd $root/library;
-		mmake depend
+		mmake $mmake_opts depend
 		cd $root/browser;
-		mmake depend
+		mmake $mmake_opts depend
 		cd $root/compiler;
-		mmake depend
+		mmake $mmake_opts depend
 		cd $root/profiler;
-		mmake depend
+		mmake $mmake_opts depend
 		cd $root
 		if mmake $mmake_opts MMAKEFLAGS=$jfactor all
 		then

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------