[m-rev.] trivial diff: fix nightly builds

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

Workaround the problem that is causing the install step in
the nightly builds to fail for the main branch.

library/Mercury.options:
	Workaround the problem that is causing the library not
	to build at -O5 in .profdeep grades.

Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.7
diff -u -r1.7 Mercury.options
--- Mercury.options	30 Jun 2005 05:29:29 -0000	1.7
+++ Mercury.options	8 Aug 2005 01:56:54 -0000
@@ -18,6 +18,8 @@

 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
+MCFLAGS-dir += --no-halt-at-warn
+MCFLAGS-exception += --no-halt-at-warn

 # io.m uses library features that are supported by POSIX but which are not
 # part of ANSI C, such as `struct stat', fileno(), and putenv().

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