[m-rev.] diff: duplicate flags in modules.m

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue May 17 14:42:54 AEST 2005


compiler/modules.m:
	The definitions of $(ALL_MCIFLAGS) and $(ALL_MCSIFLAGS) are almost
	identical (e.g. they both include MCFLAGS) and their differences
	are intentional. Therefore include only the latter on the command line.
	Including both, as we used to do, lead to duplicate occurrences of
	"--flags COMP_FLAGS" on command lines when making short interface
	files.

Zoltan.

Index: modules.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/modules.m,v
retrieving revision 1.328
diff -u -b -r1.328 modules.m
--- modules.m	3 May 2005 06:50:59 -0000	1.328
+++ modules.m	15 May 2005 11:29:38 -0000
@@ -3468,12 +3468,11 @@
                 "\t$(MCI) $(ALL_GRADEFLAGS) $(ALL_MCIFLAGS) ",
                     ModuleArg, "\n",
                 Date3FileName, " : ", SourceFileName, "\n",
-                "\t$(MCSI) $(ALL_GRADEFLAGS) $(ALL_MCIFLAGS) ",
-                    "$(ALL_MCSIFLAGS) ",
+                "\t$(MCSI) $(ALL_GRADEFLAGS) $(ALL_MCSIFLAGS) ",
                     ModuleArg, "\n",
                 OptDateFileName, " : ", SourceFileName, "\n",
-                "\t$(MCOI) $(ALL_GRADEFLAGS) ",
-                    "$(ALL_MCOIFLAGS) ", ModuleArg, "\n",
+                "\t$(MCOI) $(ALL_GRADEFLAGS) $(ALL_MCOIFLAGS) ",
+                    ModuleArg, "\n",
                 TransOptDateFileName, " : ", SourceFileName,
                     "\n",
                 "\t$(MCTOI) $(ALL_GRADEFLAGS) ",
--------------------------------------------------------------------------
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