[m-rev.] diff: Mmake.workspace and mkinit

[Zoltan Somogyi]

Mmake.workspace:
	Use the version of mkinit in the workspace's util directory, not the
	one in the usual path. This is needed if the workspace's version is
	more recent, e.g. if it understands -k when the installed version
	doesn't.

Zoltan.

Index: Mmake.workspace
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Mmake.workspace,v
retrieving revision 1.21
diff -u -b -r1.21 Mmake.workspace
--- Mmake.workspace	12 Jan 2006 07:07:23 -0000	1.21
+++ Mmake.workspace	24 May 2006 09:58:53 -0000
@@ -95,6 +95,7 @@
 MGNUC =		$(SCRIPTS_DIR)/mgnuc
 ML =		$(SCRIPTS_DIR)/ml
 C2INIT =	MERCURY_MKINIT=$(UTIL_DIR)/mkinit $(SCRIPTS_DIR)/c2init
+MKLIBINIT =	$(UTIL_DIR)/mkinit -k
 MTAGS =		$(SCRIPTS_DIR)/mtags
 MTAGSFLAGS +=	$(EXTRA_MTAGSFLAGS)
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------