[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