diff -ruN a/configure b/configure --- a/configure 2013-04-04 16:13:27.000000000 +0300 +++ b/configure 2013-12-02 21:36:19.280944308 +0200 @@ -335,7 +335,8 @@ MAKEVERSION=`$MAKE -v | head -1 | cut -d" " -f3` MAKEVERSIONMAJOR=`echo $MAKEVERSION | cut -d. -f1` MAKEVERSIONMINOR=`echo $MAKEVERSION | cut -d. -f2` - if [ "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ]; then + if [ "$MAKEVERSIONMAJOR" -eq 3 -a "$MAKEVERSIONMINOR" -ge 81 ] || \ + [ "$MAKEVERSIONMAJOR" -gt 3 ]; then echo "You have GNU Make $MAKEVERSION. Good!" else OK="no"