diff options
Diffstat (limited to 'sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch b/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch new file mode 100644 index 000000000000..af46977b932c --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.2_p2-make-3.82.patch @@ -0,0 +1,13 @@ +http://bugs.gentoo.org/341187 + +--- configure ++++ configure +@@ -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 |