diff: tools/test_mercury bug fix

[Fergus Henderson]

Estimated hours taken: 0.5

tools/test_mercury:
	Run `mmake realclean' rather than `mmake clean' before
	running the bootcheck.  This avoids problems if you make
	a change that affects the generated interface files
	(as did Simon's recent change to add `use_module').

Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.43
diff -u -r1.43 test_mercury
--- test_mercury	1997/05/14 05:57:28	1.43
+++ test_mercury	1997/07/03 07:22:33
@@ -157,7 +157,8 @@
 rm -f config.cache
 ./configure --prefix=$INSTALL_DIR $CONFIG_OPTS || { false; exit 1; }
 mmake depend $PARALLEL || { false; exit 1; }
-mmake clean MMAKEFLAGS=$PARALLEL || { false; exit 1; }
+mmake realclean MMAKEFLAGS=$PARALLEL || { false; exit 1; }
+mmake depend $PARALLEL || { false; exit 1; }
 tools/bootcheck -r -t $PARALLEL || $install_anyway || { false; exit 1; }
 cd .. || { false; exit 1; }
 

-- 
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.