[m-rev.] diff: allow the library to compile

[Zoltan Somogyi]

library/Mmakefile:
	To make it possible for the library to compile, allow warnings
	in std_util. This works around sourceforge bug 514142.

Zoltan.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.85
diff -u -b -r1.85 Mmakefile
--- Mmakefile	2002/02/04 05:22:48	1.85
+++ Mmakefile	2002/02/07 06:43:11
@@ -35,6 +35,12 @@
 
 #-----------------------------------------------------------------------------#
 
+# Bug workarounds.
+
+MCFLAGS-std_util += --no-halt-at-warn
+
+#-----------------------------------------------------------------------------#
+
 # Specify which options to use to compile the library.
 # Don't change these without good reason - if you want to
 # do a temporary change, change ../Mmake.params.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------