diff: bug fix for tools/bootcheck

[Fergus Henderson]

tools/bootcheck:
	Fix a bug: to make all the interface files in the library
	directory, it needs to do `mmake all-ints', not `mmake ints'.

	(This caused problems with library.int3; previously it happened
	to work becaused that file used to get made from the compiler
	directory, but that doesn't work anymore, because we don't
	allow path names in command-line arguments anymore.)

Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.47
diff -u -u -r1.47 bootcheck
--- bootcheck	1998/03/03 06:12:35	1.47
+++ bootcheck	1998/03/07 03:36:15
@@ -241,7 +241,7 @@
 
 	if
 		cd stage2_sicstus/library &&
-		mmake $mmake_opts $jfactor ints &&
+		mmake $mmake_opts $jfactor all-ints &&
 		mmake $mmake_opts $jfactor cs
 	then
 		echo "building of SICStus stage 2 library successful"
@@ -512,7 +512,9 @@
 	MMAKE_DIR=$root/scripts
 	export MMAKE_DIR
 
-	if (cd stage3/library && mmake $mmake_opts $jfactor ints && mmake $mmake_opts $jfactor cs)
+	if 	(cd stage3/library &&
+		mmake $mmake_opts $jfactor all-ints &&
+		mmake $mmake_opts $jfactor cs)
 	then
 		echo "building of stage 3 library successful"
 	else

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