summaryrefslogtreecommitdiff
path: root/mcon/U/make.U
diff options
context:
space:
mode:
authorManoj Srivastava <srivasta@debian.org>2008-05-30 12:42:47 -0700
committerManoj Srivastava <srivasta@debian.org>2008-05-30 12:42:47 -0700
commitceb3507a8fca872770b3dcd7e5c5b36179ab95b0 (patch)
treeb46b4e25cfff5f4c13a330b8428ceed343e3796c /mcon/U/make.U
Import dist_3.5-236.orig.tar.gz
[dgit import orig dist_3.5-236.orig.tar.gz]
Diffstat (limited to 'mcon/U/make.U')
-rw-r--r--mcon/U/make.U60
1 files changed, 60 insertions, 0 deletions
diff --git a/mcon/U/make.U b/mcon/U/make.U
new file mode 100644
index 0000000..f9191b4
--- /dev/null
+++ b/mcon/U/make.U
@@ -0,0 +1,60 @@
+?RCS: $Id$
+?RCS:
+?RCS: Copyright (c) 1996, Andy Dougherty
+?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
+?RCS:
+?RCS: You may redistribute only under the terms of the Artistic License,
+?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 License; a copy of which may be found at the root
+?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
+?RCS: patch61: created
+?RCS:
+?MAKE:make_set_make : Loc rm sed make
+?MAKE: -pick add $@ %<
+?S:make_set_make:
+?S: Some versions of 'make' set the variable MAKE. Others do not.
+?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:
+?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
+?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
+'')
+?X: Use sed so we don't have a line beginning with @echo. Metaconfig
+?X: will think that's a command like @if or @end.
+ $sed 's/^X //' > testmake.mak << 'EOF'
+Xall:
+X @echo 'maketemp="$(MAKE)"'
+EOF
+?X: GNU make sometimes prints "make[1]: Entering...", which would confuse us
+ case "`$make -f testmake.mak 2>/dev/null`" in
+ *maketemp=*) make_set_make='#' ;;
+ *) make_set_make="MAKE=$make" ;;
+ esac
+ $rm -f testmake.mak
+ ;;
+esac
+case "$make_set_make" in
+'#') echo "Yup, it does.";;
+*) echo "Nope, it doesn't.";;
+esac
+