diff options
Diffstat (limited to 'mcon/U/make.U')
| -rw-r--r-- | mcon/U/make.U | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/mcon/U/make.U b/mcon/U/make.U index 607e9d3..98eb0a8 100644 --- a/mcon/U/make.U +++ b/mcon/U/make.U @@ -1,13 +1,13 @@ -?RCS: $Id: make.U,v 3.0.1.1 1997/02/28 16:09:40 ram Exp $ +?RCS: $Id$ ?RCS: ?RCS: Copyright (c) 1996, Andy Dougherty -?RCS: Copyright (c) 1991-1993, Raphael Manfredi +?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi ?RCS: ?RCS: You may redistribute only under the terms of the Artistic Licence, ?RCS: as specified in the README file that comes with the distribution. ?RCS: You may reuse parts of this distribution only within the terms of ?RCS: that same Artistic Licence; a copy of which may be found at the root -?RCS: of the source tree for dist 3.0. +?RCS: of the source tree for dist 4.0. ?RCS: ?RCS: $Log: make.U,v $ ?RCS: Revision 3.0.1.1 1997/02/28 16:09:40 ram @@ -20,18 +20,21 @@ ?S: This variable contains the string to be included in Makefile.SH ?S: so that MAKE is set if needed, and not if not needed. ?S: Possible values are: +?S: ?S: make_set_make='#' # If your make program handles this for you, +?S: ?S: make_set_make="MAKE=$make" # if it doesn't. -?S: I used a comment character so that we can distinguish a +?S: +?S: This uses a comment character so that we can distinguish a ?S: 'set' value (from a previous config.sh or Configure -D option) ?S: from an uncomputed value. ?S:. ?LINT: extern MAKE ?LINT: change MAKE -?T:maketemp ?X: This test is based on one from an autoconf-generated configure ?X: script. Autoconf stole a lot from Configure, but now it's our ?X: turn to do so... ;-) -- RAM, 21/02/97 +: check whether make sets MAKE echo " " echo "Checking if your $make program sets \$(MAKE)..." >&4 case "$make_set_make" in |