diff options
Diffstat (limited to 'm4/gnu-make.m4')
-rw-r--r-- | m4/gnu-make.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/m4/gnu-make.m4 b/m4/gnu-make.m4 new file mode 100644 index 0000000..6ae1b31 --- /dev/null +++ b/m4/gnu-make.m4 @@ -0,0 +1,17 @@ +# Determine whether recent-enough GNU Make is being used. + +# Copyright (C) 2007, 2009-2022 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. + +AC_DEFUN([gl_GNU_MAKE], +[ + AM_CONDITIONAL([GNU_MAKE], + [LC_ALL=C ${MAKE-make} --version 2>/dev/null | sed -e '2,$d' | grep GNU >/dev/null]) +]) |