diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2007-11-15 15:52:13 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2007-11-15 15:52:13 -0800 |
| commit | 7c1b8857a5c0acd4b87c9de1aba23454723c5570 (patch) | |
| tree | 2f49d37c829761f092cfa278f50910da1239a1b2 /m4/gnu-make.m4 | |
| parent | 9793b3ecf4f25f192b314758b35c398a1045711e (diff) | |
| download | gnulib-7c1b8857a5c0acd4b87c9de1aba23454723c5570.tar.gz | |
New module gnu-make, for determining whether we're using GNU Make.
* m4/gnu-make.m4: New file.
* modules/gnu-make: New file.
* MODULES.html.sh: Mention new module.
Diffstat (limited to 'm4/gnu-make.m4')
| -rw-r--r-- | m4/gnu-make.m4 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/m4/gnu-make.m4 b/m4/gnu-make.m4 new file mode 100644 index 0000000000..472429d123 --- /dev/null +++ b/m4/gnu-make.m4 @@ -0,0 +1,19 @@ +# Determine whether recent-enough GNU Make is being used. + +# Copyright (C) 2007 Free Software Foundation, Inc. + +# This file is free software; the Free Software Foundation +# gives unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + +# Written by Paul Eggert. + +# Set GNU_MAKE if we are using a recent-enough version of GNU make. + +# Use --version AND trailing junk, because SGI Make doesn't fail on --version. + +AC_DEFUN([gl_GNU_MAKE], +[ + AM_CONDITIONAL([GNU_MAKE], + [${MAKE-make} --version /cannot/make/this >/dev/null 2>&1]) +]) |