Let user override default setting of ``make''

This commit is contained in:
Sascha Schumann 1999-12-02 02:14:06 +00:00
parent ccd5da30be
commit 117d6a4151

View file

@ -1,4 +1,5 @@
#!/bin/sh
# $Id$
supplied_flag=$1
@ -25,4 +26,4 @@ else
subdirs=''
fi
make -s -f build.mk AMFLAGS="$automake_flags" $subdirs
${MAKE:-make} -s -f build.mk AMFLAGS="$automake_flags" $subdirs