$OpenBSD: patch-configure,v 1.5 2013/12/21 08:57:20 ajacoutot Exp $
--- configure.orig	Tue Dec 17 21:27:29 2013
+++ configure	Sat Dec 21 09:41:18 2013
@@ -15546,8 +15546,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
