* configure.in (HAVE_GNU_MAKE): Respect MAKE env-var. (tiny change)
authorNali Toja <nalitoja@gmail.com>
Tue, 25 Oct 2011 16:41:26 +0000 (09:41 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 25 Oct 2011 16:41:26 +0000 (09:41 -0700)
commitd2eaf3e40d0708a16fa48538173ef635ee6a17e0
tree54a60ae65aeda031c6dfd1e9f75ad82884e80f63
parentfe0055fa74c94ba1d3bbdf36cffd3d28ffe95158
* configure.in (HAVE_GNU_MAKE): Respect MAKE env-var.  (tiny change)

Fixes: debbugs:9868
ChangeLog
configure.in