[m-rev.] trivial diff: avoid clutter during library compilation

[Julien Fischer]

Branches: main

Avoid clutter when compiling.

library/LIB_FLAGS.in:
library/Mmakefile:
 	Set --profile-optimized in LIB_FLAGS rather than the
 	library Mmakefile.

Julien.

Index: library/LIB_FLAGS.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/LIB_FLAGS.in,v
retrieving revision 1.6
diff -u -r1.6 LIB_FLAGS.in
--- library/LIB_FLAGS.in	17 May 2010 01:09:21 -0000	1.6
+++ library/LIB_FLAGS.in	3 Jan 2012 08:04:41 -0000
@@ -1,5 +1,6 @@
  @BOOTSTRAP_MC_ARGS@
  --optimize-constructor-last-call
+--profile-optimized
  --no-infer-all
  --halt-at-warn
  --no-warn-inferred-erroneous
Index: library/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.180
diff -u -r1.180 Mmakefile
--- library/Mmakefile	14 Dec 2011 03:26:01 -0000	1.180
+++ library/Mmakefile	3 Jan 2012 08:04:39 -0000
@@ -167,13 +167,6 @@

  #-----------------------------------------------------------------------------#

-# The standard library is compiled with --profile-optimized so that it is
-# compatible with applications compiled with --profile-for-feedback.
-
-MCFLAGS += --profile-optimized
-
-#-----------------------------------------------------------------------------#
-
  # targets

  .PHONY: all

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