From e4cb146f6adb438d4cfbf666913a67a5d3de91bb Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Mon, 13 Aug 2018 16:02:24 +0100 Subject: [PATCH] Better explanation of what you might find in manual/build.txt. Copied from Perforce Change: 194975 --- mps/configure | 5 +++-- mps/configure.ac | 7 ++++--- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/mps/configure b/mps/configure index f04764ce92a..93d2d18e4eb 100755 --- a/mps/configure +++ b/mps/configure @@ -4799,12 +4799,13 @@ $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 " +echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS +-- see for alternative approaches" # C. COPYRIGHT AND LICENSE # -# Copyright (C) 2012-2016 Ravenbrook Limited . +# Copyright (C) 2012-2018 Ravenbrook Limited . # All rights reserved. This is an open source license. Contact # Ravenbrook for commercial licensing options. # diff --git a/mps/configure.ac b/mps/configure.ac index 436aad238c6..d0f781f580c 100644 --- a/mps/configure.ac +++ b/mps/configure.ac @@ -1,7 +1,7 @@ # configure.ac -- autoconf configuration for the MPS -*- Autoconf -*- # # $Id$ -# Copyright (C) 2012-2016 Ravenbrook Limited. See end of file for license. +# Copyright (C) 2012-2018 Ravenbrook Limited. See end of file for license. # # YOU DON'T NEED AUTOCONF TO BUILD THE MPS # This is just here for people who want or expect a configure script. @@ -170,12 +170,13 @@ AC_CONFIG_FILES(Makefile example/scheme/Makefile) AC_OUTPUT -echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS -- see " +echo 1>&2 "CONFIGURE/MAKE IS NOT THE BEST WAY TO BUILD THE MPS +-- see for alternative approaches" # C. COPYRIGHT AND LICENSE # -# Copyright (C) 2012-2016 Ravenbrook Limited . +# Copyright (C) 2012-2018 Ravenbrook Limited . # All rights reserved. This is an open source license. Contact # Ravenbrook for commercial licensing options. #