[m-dev.] Diff: CLP(R) samples Mmakefile `realclean'/`clean' tweak

[Warwick Harvey]

Estimated hours taken: 0.5

clpr/samples/Mmakefile:
	Make sure that the `*.out' and `*.res' files are deleted by
	`mmake realclean' rather than only by `mmake clean'.

Index: samples/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/clpr/samples/Mmakefile,v
retrieving revision 1.9
diff -u -r1.9 Mmakefile
--- samples/Mmakefile   1999/07/20 03:39:22     1.9
+++ samples/Mmakefile   2000/02/07 04:14:29
@@ -79,4 +79,7 @@
 clean:
        rm -f *.out *.res
 
+.PHONY: realclean_local
+realclean_local: clean
+
 #---------------------------------------------------------------------------
--#


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