[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