[patch] Add GNU Make 3.82 to detection list

coq-8.2_p2-make-3.82.patch (text/plain), 417 bytes, created by Samuli Suominen (RETIRED) on 2010-10-16 13:14:25 UTC

diff -ur coq-8.2pl2.orig/configure coq-8.2pl2/configure
--- coq-8.2pl2.orig/configure	2010-06-29 21:28:35.000000000 +0300
+++ coq-8.2pl2/configure	2010-10-16 16:10:21.000000000 +0300
@@ -327,6 +327,8 @@
   case $MAKEVERSION in
     "GNU Make 3.81") 
       echo "You have GNU Make 3.81. Good!";;
+    "GNU Make 3.82")
+      echo "You have GNU Make 3.82. Good!";;
     *)
       OK="no"
       if [ -x ./make ]; then