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