[m-rev.] trivial diff: fix missing_interface_import2 failure

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tests/invalid/Mercury.options:
	Don't use intermodule optimization for the missing_interface_import2
	test case.  As with many other tests in this directory, using
	intermodule optimization for that test case causes the errors
	to be diagnosed too early (when creating the .opt file),
	resulting in a spurious test failure.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: tests/invalid/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mercury.options,v
retrieving revision 1.7
diff -u -d -r1.7 Mercury.options
--- tests/invalid/Mercury.options	5 Jan 2004 14:32:01 -0000	1.7
+++ tests/invalid/Mercury.options	18 Feb 2004 23:15:24 -0000
@@ -51,6 +51,8 @@
 				--no-automatic-intermodule-optimization
 MCFLAGS-missing_det_decls =	--no-infer-det
 MCFLAGS-missing_interface_import = --make-interface
+MCFLAGS-missing_interface_import2 = --no-intermodule-optimization \
+				--no-automatic-intermodule-optimization
 MCFLAGS-missing_parent_import = --no-intermodule-optimization \
 				--no-automatic-intermodule-optimization
 MCFLAGS-multisoln_func	=	--infer-types

-- 
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
--------------------------------------------------------------------------