[m-rev.] diff: make analysis/unused_args work on some nightly tests

[Peter Wang]

Estimated hours taken: 0.1
Branches: main

analysis/unused_args/Mercury.options:
        Hack to make this directory work on some nightly tests where
        EXTRA_MCFLAGS=-O2 is passed on the `mmake' command line.

Index: analysis/unused_args/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/analysis/unused_args/Mercury.options,v
retrieving revision 1.1
diff -u -r1.1 Mercury.options
--- analysis/unused_args/Mercury.options        5 Jun 2008 06:25:20 -0000       1.1
+++ analysis/unused_args/Mercury.options        16 Jun 2008 02:01:59 -0000
@@ -1 +1,6 @@
-MCFLAGS = --intermodule-analysis --optimise-unused-args
+MCFLAGS = --intermodule-analysis
+# XXX --optimise-unused-args are listed per module to nullify the effect of
+# EXTRA_MCFLAGS=-O2 set on the command line as for some nightly tests.
+MCFLAGS-ua_m1 = --optimise-unused-args
+MCFLAGS-ua_m2 = --optimise-unused-args
+MCFLAGS-ua_m3 = --optimise-unused-args


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------