[m-rev.] trivial diff: fix bug in compiler/Mmakefilew

Simon Taylor stayl at cs.mu.OZ.AU
Mon Jan 14 16:00:59 AEDT 2002


Estimated hours taken: 0.1

compiler/Mmakefile:
	Fix a bug in the clean target. When a generated `.m' file
	is removed the corresponding `.pp_date' file needs to be
	removed as well.


Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mmakefile,v
retrieving revision 1.49
retrieving revision 1.50
diff -u -u -r1.49 -r1.50
--- Mmakefile	19 Dec 2001 15:08:26 -0000	1.49
+++ Mmakefile	14 Jan 2002 04:59:34 -0000	1.50
@@ -1,5 +1,5 @@
 #-----------------------------------------------------------------------------#
-# Copyright (C) 1995-2001 The University of Melbourne. 
+# Copyright (C) 1995-2002 The University of Melbourne. 
 # This file may only be copied under the terms of the GNU General
 # Public Licence - see the file COPYING in the Mercury distribution.
 #-----------------------------------------------------------------------------#
@@ -280,15 +280,10 @@
 #-----------------------------------------------------------------------------#
 
 clean_local:
-	rm -f ../main.$O
-	for file in *.pp; do \
-		if [ "$$file" != "*.pp" ]; then \
-			rm -f `basename $$file .pp`.m; \
-		fi; \
-	done
+	rm -f ../main.$O $(PREPROCESSED_M_FILES) $(PP_DATE_FILES)
 
 realclean_local:
-	rm -f tags mercury_compile.stats $(PP_DATE_FILES)
+	rm -f tags mercury_compile.stats
 
 #-----------------------------------------------------------------------------#
 #-----------------------------------------------------------------------------#
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list