From 03b16d61ba58138cfe8d36b5fb61305e8395f5ca Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Thu, 20 Sep 2012 09:21:56 +0100
Subject: [PATCH] Adding note to configure output referring users to "building
 the mps".

Copied from Perforce
 Change: 179577
 ServerID: perforce.ravenbrook.com
---
 mps/configure    | 2 ++
 mps/configure.ac | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/mps/configure b/mps/configure
index f29a67b3fad..06570f5a2bf 100755
--- a/mps/configure
+++ b/mps/configure
@@ -4019,3 +4019,5 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
 fi
 
+
+echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS -- see <manual/build.txt>"
diff --git a/mps/configure.ac b/mps/configure.ac
index 02d16a9c0a3..19855c7e656 100644
--- a/mps/configure.ac
+++ b/mps/configure.ac
@@ -96,3 +96,5 @@ AC_SUBST(CFLAGS)
 AC_CONFIG_FILES(Makefile example/scheme/Makefile)
 
 AC_OUTPUT
+
+echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS -- see <manual/build.txt>"