[m-rev.] diff: fix configure message

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Dec 6 02:05:53 AEDT 2011


Branches: main, 11.07

configure.in:
 	Correct the message about finetuning installation to show the
 	correct way to invoke parallel make.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.604
diff -u -r1.604 configure.in
--- configure.in	23 Nov 2011 11:51:00 -0000	1.604
+++ configure.in	5 Dec 2011 14:59:14 -0000
@@ -5505,7 +5505,7 @@
  MERCURY_MSG("You can make the install faster by installing fewer grades")
  MERCURY_MSG("as shown by the fine-tuning section of the INSTALL file or by")
  MERCURY_MSG("compiling the files of each grade in parallel which you can do")
-MERCURY_MSG("via a command such as make install -j2.")
+MERCURY_MSG("via a command such as make PARALLEL=-j2 install.")

  case "$remake_dependencies.$reconfiguring" in
      "true.no")

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



More information about the reviews mailing list