$OpenBSD: patch-configure,v 1.6 2015/11/11 09:29:20 ajacoutot Exp $
--- configure.orig	Tue Nov 10 18:50:09 2015
+++ configure	Wed Nov 11 10:15:47 2015
@@ -15558,8 +15558,8 @@ fi
 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for gnu make >= 3.81" >&5
 $as_echo_n "checking for gnu make >= 3.81... " >&6; }
 make_okay=0
-if make --version >/dev/null 2>&1; then
-  v=`make --version | grep 'GNU Make' | sed -e 's/.*Make //'`
+if ${MAKE_PROGRAM} --version >/dev/null 2>&1; then
+  v=`${MAKE_PROGRAM} --version | grep 'GNU Make' | sed -e 's/.*Make //'`
   maj=`echo $v | cut -d. -f 1`
   min=`echo $v | cut -d. -f 2`
   if test $maj -gt 3 -o '(' $maj -eq 3 -a $min -ge 81 ')'; then
