512 MAKE_VERSION_STRING=`$MAKE_CANDIDATE --version | $HEAD -n 1` |
512 MAKE_VERSION_STRING=`$MAKE_CANDIDATE --version | $HEAD -n 1` |
513 IS_GNU_MAKE=`$ECHO $MAKE_VERSION_STRING | $GREP 'GNU Make'` |
513 IS_GNU_MAKE=`$ECHO $MAKE_VERSION_STRING | $GREP 'GNU Make'` |
514 if test "x$IS_GNU_MAKE" = x; then |
514 if test "x$IS_GNU_MAKE" = x; then |
515 AC_MSG_NOTICE([Found potential make at $MAKE_CANDIDATE, however, this is not GNU Make. Ignoring.]) |
515 AC_MSG_NOTICE([Found potential make at $MAKE_CANDIDATE, however, this is not GNU Make. Ignoring.]) |
516 else |
516 else |
517 IS_MODERN_MAKE=`$ECHO $MAKE_VERSION_STRING | $GREP '\(3\.8[[12]]\)\|\(4\.\)'` |
517 IS_MODERN_MAKE=`$ECHO $MAKE_VERSION_STRING | $GREP -e '3\.8[[12]]' -e '4\.'` |
518 if test "x$IS_MODERN_MAKE" = x; then |
518 if test "x$IS_MODERN_MAKE" = x; then |
519 AC_MSG_NOTICE([Found GNU make at $MAKE_CANDIDATE, however this is not version 3.81 or later. (it is: $MAKE_VERSION_STRING). Ignoring.]) |
519 AC_MSG_NOTICE([Found GNU make at $MAKE_CANDIDATE, however this is not version 3.81 or later. (it is: $MAKE_VERSION_STRING). Ignoring.]) |
520 else |
520 else |
521 if test "x$OPENJDK_BUILD_OS" = "xwindows"; then |
521 if test "x$OPENJDK_BUILD_OS" = "xwindows"; then |
522 if test "x$OPENJDK_BUILD_OS_ENV" = "xwindows.cygwin"; then |
522 if test "x$OPENJDK_BUILD_OS_ENV" = "xwindows.cygwin"; then |