1# Determine whether recent-enough GNU Make is being used. 2 3# Copyright (C) 2007, 2009-2014 Free Software Foundation, Inc. 4 5# This file is free software; the Free Software Foundation 6# gives unlimited permission to copy and/or distribute it, 7# with or without modifications, as long as this notice is preserved. 8 9# Written by Paul Eggert. 10 11# Set GNU_MAKE if we are using a recent-enough version of GNU make. 12 13# Use --version AND trailing junk, because SGI Make doesn't fail on --version. 14 15AC_DEFUN([gl_GNU_MAKE], 16[ 17 AM_CONDITIONAL([GNU_MAKE], 18 [${MAKE-make} --version /cannot/make/this >/dev/null 2>&1]) 19]) 20