diff options
Diffstat (limited to 'gnulib/m4/gnu-make.m4')
m--------- | gnulib | 0 | ||||
-rw-r--r-- | gnulib/m4/gnu-make.m4 | 19 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 4fc10daa05477586fea99b6b3ca02a87d1102fa diff --git a/gnulib/m4/gnu-make.m4 b/gnulib/m4/gnu-make.m4 new file mode 100644 index 00000000..385ab3ff --- /dev/null +++ b/gnulib/m4/gnu-make.m4 @@ -0,0 +1,19 @@ +# Determine whether recent-enough GNU Make is being used. + +# Copyright (C) 2007, 2009, 2010 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]) +]) |