|
Packit Service |
fdd496 |
# Determine whether recent-enough GNU Make is being used.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
# Copyright (C) 2007, 2009-2017 Free Software Foundation, Inc.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
# This file is free software; the Free Software Foundation
|
|
Packit Service |
fdd496 |
# gives unlimited permission to copy and/or distribute it,
|
|
Packit Service |
fdd496 |
# with or without modifications, as long as this notice is preserved.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
# Written by Paul Eggert.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
# Set GNU_MAKE if we are using a recent-enough version of GNU make.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
# Use --version AND trailing junk, because SGI Make doesn't fail on --version.
|
|
Packit Service |
fdd496 |
|
|
Packit Service |
fdd496 |
AC_DEFUN([gl_GNU_MAKE],
|
|
Packit Service |
fdd496 |
[
|
|
Packit Service |
fdd496 |
AM_CONDITIONAL([GNU_MAKE],
|
|
Packit Service |
fdd496 |
[${MAKE-make} --version /cannot/make/this >/dev/null 2>&1])
|
|
Packit Service |
fdd496 |
])
|