[patch] configure patch, fixes >=3.81 version check

coq-fix_-ge_3.81_make_vercheck.patch (text/plain), 577 bytes, created by Panagiotis Christopoulos (RETIRED) on 2013-12-02 19:43:00 UTC

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"