[m-rev.] diff: fix browser/Mmakefile bug
Fergus Henderson
fjh at cs.mu.OZ.AU
Tue Dec 16 02:13:39 AEDT 2003
Estimated hours taken: 0.5
Branches: main
browser/Mmakefile:
Fix a bug in Zoltan's recent change: it was depending
on "mer_browser.int" instead of "mer_browser.ints"
(and likewise for mdbcomp). ^
Workspace: /tmp/fjh/mercury-compiler-rotd-2003-12-13
Index: browser/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/Mmakefile,v
retrieving revision 1.35
diff -u -d -r1.35 Mmakefile
--- browser/Mmakefile 11 Dec 2003 00:02:39 -0000 1.35
+++ browser/Mmakefile 15 Dec 2003 15:10:26 -0000
@@ -39,9 +39,8 @@
MERCURY_MAIN_MODULES=$(MERCURY_MAIN_LIB_MODULES) browse_test declarative_test
DEPENDS = $(patsubst %,%.depend,$(MERCURY_MAIN_MODULES))
-INTS = $(patsubst %,%.int,$(MERCURY_MAIN_MODULES))
-INT3S = $(patsubst %,%.int3,$(MERCURY_MAIN_MODULES))
-
+INTS_TARGETS = $(patsubst %,%.ints,$(MERCURY_MAIN_MODULES))
+INT3S_TARGETS = $(patsubst %,%.int3s,$(MERCURY_MAIN_MODULES))
LIBS = $(patsubst %,lib%,$(MERCURY_MAIN_LIB_MODULES))
CHECKS = $(patsubst %,%.check,$(MERCURY_MAIN_LIB_MODULES))
@@ -141,10 +140,10 @@
all-ints: ints int3s
.PHONY: ints
-ints: $(INTS)
+ints: $(INTS_TARGETS)
.PHONY: int3s
-int3s: $(INT3S)
+int3s: $(INT3S_TARGETS)
#-----------------------------------------------------------------------------#
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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