Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 341187
Collapse All | Expand All

(-)coq-8.2pl2.orig/configure (+2 lines)
Lines 327-332 Link Here
327 
  case $MAKEVERSION in
 327 
  case $MAKEVERSION in
328 
    "GNU Make 3.81")
328 
    "GNU Make 3.81")
329 
      echo "You have GNU Make 3.81. Good!";;
 329 
      echo "You have GNU Make 3.81. Good!";;
330 
    "GNU Make 3.82")
331 
      echo "You have GNU Make 3.82. Good!";;
330 
    *)
 332 
    *)
331 
      OK="no"
 333 
      OK="no"
332 
      if [ -x ./make ]; then
 334 
      if [ -x ./make ]; then

Return to bug 341187