Use $MAKE for `make' if set.
authorGerd Moellmann <gerd@gnu.org>
Wed, 24 Oct 2001 11:38:42 +0000 (11:38 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 24 Oct 2001 11:38:42 +0000 (11:38 +0000)
commitf8f7ab5469962c6038cba9ac1223783d07b95d70
treea48dde0b342b053732a149b8fbefd91e924bda49
parentbdbdebff2028c24100ee88408807681ce7f2fe7a
Use $MAKE for `make' if set.
configure.in