[m-dev.] trivial diff: mmake realclean should rm configure.log

[Fergus Henderson]

Mmakefile:
	Ensure that `mmake realclean' removes the file `configure.log'.

Workspace: /home/mercury0/fjh/mercury-other
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.38
diff -u -r1.38 Mmakefile
--- Mmakefile	1999/03/30 05:45:16	1.38
+++ Mmakefile	1999/04/23 03:58:21
@@ -496,6 +496,6 @@
 
 .PHONY: realclean_config
 realclean_config:
-	rm -f config.cache config.status config.log
+	rm -f config.cache config.status config.log configure.log
 
 #-----------------------------------------------------------------------------#

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