Let user override default setting of ``make''

diff --git a/buildconf b/buildconf
index dffae5493979ecd889da824df64f3801487448bc..0dd249756b4b91233cee0a42b98cb620ea605a8f 100755 (executable)
--- a/buildconf
+++ b/buildconf
@@ -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