Mercurial > hg > octave-kai > gnulib-hg

annotate m4/gnu-make.m4 @ 12261:e96aac709428

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
autoupdate
author Karl Berry <karl@freefriends.org>
date Mon, 09 Nov 2009 06:10:03 -0800
parents 96f72b145235
children b5e42ef33b49
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9477
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
1 # Determine whether recent-enough GNU Make is being used.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
2
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
3 # Copyright (C) 2007 Free Software Foundation, Inc.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
4
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
5 # This file is free software; the Free Software Foundation
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
6 # gives unlimited permission to copy and/or distribute it,
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
7 # with or without modifications, as long as this notice is preserved.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
8
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
9 # Written by Paul Eggert.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
10
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
11 # Set GNU_MAKE if we are using a recent-enough version of GNU make.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
12
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
13 # Use --version AND trailing junk, because SGI Make doesn't fail on --version.
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
14
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
15 AC_DEFUN([gl_GNU_MAKE],
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
16 [
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
17 AM_CONDITIONAL([GNU_MAKE],
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
18 [${MAKE-make} --version /cannot/make/this >/dev/null 2>&1])
96f72b145235 New module gnu-make, for determining whether we're using GNU Make.
Paul Eggert <eggert@cs.ucla.edu>
parents:
diff changeset
19 ])