X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=m4%2Fgnu-make.m4;fp=m4%2Fgnu-make.m4;h=472429d1238b15255ea624ad26ba4fadde3cce0d;hb=7c1b8857a5c0acd4b87c9de1aba23454723c5570;hp=0000000000000000000000000000000000000000;hpb=9793b3ecf4f25f192b314758b35c398a1045711e;p=gnulib.git

diff --git a/m4/gnu-make.m4 b/m4/gnu-make.m4
new file mode 100644
index 000000000..472429d12
--- /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])
+])