trivial diff:

[Zoltan Somogyi]

tools/bootcheck:
	Make sure that the environment variable that can cause the
	compiler to work interactively is off.

Zoltan.

Index: bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.57
diff -u -u -r1.57 bootcheck
--- bootcheck	1998/06/01 00:20:08	1.57
+++ bootcheck	1998/06/19 05:09:38
@@ -156,6 +156,16 @@
 MMAKE_USE_SUBDIRS=$use_subdirs
 export MMAKE_USE_SUBDIRS
 
+# Turn off the debugger, since accidentally leaving it on will result
+# in user interaction every time we any any version of the compiler
+# that wwas compiled with tracing. This has happened to me accidentally 
+# one too many times - zs.
+if echo $MERCURY_OPTIONS | grep '\-Di' > /dev/null
+then
+	MERCURY_OPTIONS=`echo $MERCURY_OPTIONS | sed -e 's/-Di//'`
+	export MERCURY_OPTIONS
+fi
+
 echo "starting at `date`"
 
 set -x