[m-rev.] trivial diff: fix a warning in the configure script

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Nov 10 22:38:16 AEDT 2009


Fix a warning message in the configure script.

configure.in:
 	Add a missing character escape.

Julien.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.552
diff -u -r1.552 configure.in
--- configure.in	5 Nov 2009 05:47:39 -0000	1.552
+++ configure.in	10 Nov 2009 11:34:08 -0000
@@ -3124,7 +3124,7 @@
  ****    from scratch so you can use the more efficient
  ****    grade \`$BEST_GRADE_FOR_COMPILER'.
  ****    NOTE: before reinstalling from scratch, ensure that the
-****    source tree is clean by running `make realclean'.  Not doing
+****    source tree is clean by running \`make realclean'.  Not doing
  ****    this may result in a broken Mercury installation.])
      else
          GRADE=$BEST_GRADE_FOR_COMPILER
--------------------------------------------------------------------------
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