[m-dev.] diff: clean up bindist/mercury-rotd*

[Fergus Henderson]

Estimated hours taken: 0.1

bindist/Mmakefile:
	Add a rule for the `clean_local' target which removes
	mercury-rotd* and mercury-DEV*.  These are needed to
	clean up properly in case the building of the tar file
	fails part-way.

Workspace: /home/mercury0/public/test_mercury/test_dirs/murlibobo/mercury
Index: bindist/Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/bindist/Mmakefile,v
retrieving revision 1.23
diff -u -d -r1.23 Mmakefile
--- Mmakefile	1999/10/21 14:36:35	1.23
+++ Mmakefile	1999/11/28 03:32:23
@@ -121,6 +121,9 @@
 
 #-----------------------------------------------------------------------------#
 
+clean_local:
+	rm -rf mercury-rotd* mercury-DEV*
+
 realclean_local:
 	rm -f bindist.configure bindist.build_vars
 
-- 
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
--------------------------------------------------------------------------