common/autoconf/generated-configure.sh
changeset 24414 2061862eb57c
parent 24413 1d117d2dfe92
parent 23985 39f417e8c59f
child 24415 43aa54df554d
equal deleted inserted replaced
24413:1d117d2dfe92 24414:2061862eb57c
 19904           else
 19904           else
 19905             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 19905             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 19906             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 19906             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 19907 
 19907 
 19908             # Extra M4 quote needed to protect [] in grep expression.
 19908             # Extra M4 quote needed to protect [] in grep expression.
 19909             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 19909             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 19910             if test "x$FOUND_CORRECT_VERSION" = x; then
 19910             if test "x$FOUND_CORRECT_VERSION" = x; then
 19911               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 19911               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 19912 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 19912 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 19913               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 19913               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 19914 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 19914 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 19915               BOOT_JDK_FOUND=no
 19915               BOOT_JDK_FOUND=no
 19916             else
 19916             else
 19917               # We're done! :-)
 19917               # We're done! :-)
 19918               BOOT_JDK_FOUND=yes
 19918               BOOT_JDK_FOUND=yes
 19919 
 19919 
 20236           else
 20236           else
 20237             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20237             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20238             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20238             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20239 
 20239 
 20240             # Extra M4 quote needed to protect [] in grep expression.
 20240             # Extra M4 quote needed to protect [] in grep expression.
 20241             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 20241             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 20242             if test "x$FOUND_CORRECT_VERSION" = x; then
 20242             if test "x$FOUND_CORRECT_VERSION" = x; then
 20243               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20243               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20244 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20244 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20245               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 20245               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 20246 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 20246 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 20247               BOOT_JDK_FOUND=no
 20247               BOOT_JDK_FOUND=no
 20248             else
 20248             else
 20249               # We're done! :-)
 20249               # We're done! :-)
 20250               BOOT_JDK_FOUND=yes
 20250               BOOT_JDK_FOUND=yes
 20251 
 20251 
 20430           else
 20430           else
 20431             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20431             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20432             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20432             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20433 
 20433 
 20434             # Extra M4 quote needed to protect [] in grep expression.
 20434             # Extra M4 quote needed to protect [] in grep expression.
 20435             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 20435             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 20436             if test "x$FOUND_CORRECT_VERSION" = x; then
 20436             if test "x$FOUND_CORRECT_VERSION" = x; then
 20437               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20437               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20438 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20438 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20439               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 20439               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 20440 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 20440 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 20441               BOOT_JDK_FOUND=no
 20441               BOOT_JDK_FOUND=no
 20442             else
 20442             else
 20443               # We're done! :-)
 20443               # We're done! :-)
 20444               BOOT_JDK_FOUND=yes
 20444               BOOT_JDK_FOUND=yes
 20445 
 20445 
 20617           else
 20617           else
 20618             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20618             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20619             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20619             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20620 
 20620 
 20621             # Extra M4 quote needed to protect [] in grep expression.
 20621             # Extra M4 quote needed to protect [] in grep expression.
 20622             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 20622             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 20623             if test "x$FOUND_CORRECT_VERSION" = x; then
 20623             if test "x$FOUND_CORRECT_VERSION" = x; then
 20624               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20624               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20625 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20625 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20626               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 20626               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 20627 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 20627 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 20628               BOOT_JDK_FOUND=no
 20628               BOOT_JDK_FOUND=no
 20629             else
 20629             else
 20630               # We're done! :-)
 20630               # We're done! :-)
 20631               BOOT_JDK_FOUND=yes
 20631               BOOT_JDK_FOUND=yes
 20632 
 20632 
 20803           else
 20803           else
 20804             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20804             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20805             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20805             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20806 
 20806 
 20807             # Extra M4 quote needed to protect [] in grep expression.
 20807             # Extra M4 quote needed to protect [] in grep expression.
 20808             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 20808             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 20809             if test "x$FOUND_CORRECT_VERSION" = x; then
 20809             if test "x$FOUND_CORRECT_VERSION" = x; then
 20810               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20810               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20811 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20811 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20812               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 20812               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 20813 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 20813 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 20814               BOOT_JDK_FOUND=no
 20814               BOOT_JDK_FOUND=no
 20815             else
 20815             else
 20816               # We're done! :-)
 20816               # We're done! :-)
 20817               BOOT_JDK_FOUND=yes
 20817               BOOT_JDK_FOUND=yes
 20818 
 20818 
 20989           else
 20989           else
 20990             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20990             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 20991             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20991             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 20992 
 20992 
 20993             # Extra M4 quote needed to protect [] in grep expression.
 20993             # Extra M4 quote needed to protect [] in grep expression.
 20994             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 20994             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 20995             if test "x$FOUND_CORRECT_VERSION" = x; then
 20995             if test "x$FOUND_CORRECT_VERSION" = x; then
 20996               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20996               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 20997 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20997 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 20998               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 20998               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 20999 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 20999 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 21000               BOOT_JDK_FOUND=no
 21000               BOOT_JDK_FOUND=no
 21001             else
 21001             else
 21002               # We're done! :-)
 21002               # We're done! :-)
 21003               BOOT_JDK_FOUND=yes
 21003               BOOT_JDK_FOUND=yes
 21004 
 21004 
 21166           else
 21166           else
 21167             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21167             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21168             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21168             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21169 
 21169 
 21170             # Extra M4 quote needed to protect [] in grep expression.
 21170             # Extra M4 quote needed to protect [] in grep expression.
 21171             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 21171             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 21172             if test "x$FOUND_CORRECT_VERSION" = x; then
 21172             if test "x$FOUND_CORRECT_VERSION" = x; then
 21173               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21173               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21174 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21174 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21175               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 21175               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 21176 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 21176 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 21177               BOOT_JDK_FOUND=no
 21177               BOOT_JDK_FOUND=no
 21178             else
 21178             else
 21179               # We're done! :-)
 21179               # We're done! :-)
 21180               BOOT_JDK_FOUND=yes
 21180               BOOT_JDK_FOUND=yes
 21181 
 21181 
 21484           else
 21484           else
 21485             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21485             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21486             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21486             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21487 
 21487 
 21488             # Extra M4 quote needed to protect [] in grep expression.
 21488             # Extra M4 quote needed to protect [] in grep expression.
 21489             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 21489             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 21490             if test "x$FOUND_CORRECT_VERSION" = x; then
 21490             if test "x$FOUND_CORRECT_VERSION" = x; then
 21491               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21491               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21492 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21492 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21493               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 21493               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 21494 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 21494 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 21495               BOOT_JDK_FOUND=no
 21495               BOOT_JDK_FOUND=no
 21496             else
 21496             else
 21497               # We're done! :-)
 21497               # We're done! :-)
 21498               BOOT_JDK_FOUND=yes
 21498               BOOT_JDK_FOUND=yes
 21499 
 21499 
 21812           else
 21812           else
 21813             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21813             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 21814             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21814             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 21815 
 21815 
 21816             # Extra M4 quote needed to protect [] in grep expression.
 21816             # Extra M4 quote needed to protect [] in grep expression.
 21817             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 21817             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 21818             if test "x$FOUND_CORRECT_VERSION" = x; then
 21818             if test "x$FOUND_CORRECT_VERSION" = x; then
 21819               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21819               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 21820 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21820 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 21821               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 21821               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 21822 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 21822 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 21823               BOOT_JDK_FOUND=no
 21823               BOOT_JDK_FOUND=no
 21824             else
 21824             else
 21825               # We're done! :-)
 21825               # We're done! :-)
 21826               BOOT_JDK_FOUND=yes
 21826               BOOT_JDK_FOUND=yes
 21827 
 21827 
 22027           else
 22027           else
 22028             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22028             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22029             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22029             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22030 
 22030 
 22031             # Extra M4 quote needed to protect [] in grep expression.
 22031             # Extra M4 quote needed to protect [] in grep expression.
 22032             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22032             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22033             if test "x$FOUND_CORRECT_VERSION" = x; then
 22033             if test "x$FOUND_CORRECT_VERSION" = x; then
 22034               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22034               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22035 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22035 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22036               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22036               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22037 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22037 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22038               BOOT_JDK_FOUND=no
 22038               BOOT_JDK_FOUND=no
 22039             else
 22039             else
 22040               # We're done! :-)
 22040               # We're done! :-)
 22041               BOOT_JDK_FOUND=yes
 22041               BOOT_JDK_FOUND=yes
 22042 
 22042 
 22207           else
 22207           else
 22208             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22208             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22209             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22209             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22210 
 22210 
 22211             # Extra M4 quote needed to protect [] in grep expression.
 22211             # Extra M4 quote needed to protect [] in grep expression.
 22212             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22212             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22213             if test "x$FOUND_CORRECT_VERSION" = x; then
 22213             if test "x$FOUND_CORRECT_VERSION" = x; then
 22214               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22214               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22215 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22215 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22216               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22216               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22217 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22217 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22218               BOOT_JDK_FOUND=no
 22218               BOOT_JDK_FOUND=no
 22219             else
 22219             else
 22220               # We're done! :-)
 22220               # We're done! :-)
 22221               BOOT_JDK_FOUND=yes
 22221               BOOT_JDK_FOUND=yes
 22222 
 22222 
 22415           else
 22415           else
 22416             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22416             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22417             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22417             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22418 
 22418 
 22419             # Extra M4 quote needed to protect [] in grep expression.
 22419             # Extra M4 quote needed to protect [] in grep expression.
 22420             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22420             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22421             if test "x$FOUND_CORRECT_VERSION" = x; then
 22421             if test "x$FOUND_CORRECT_VERSION" = x; then
 22422               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22422               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22423 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22423 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22424               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22424               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22425 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22425 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22426               BOOT_JDK_FOUND=no
 22426               BOOT_JDK_FOUND=no
 22427             else
 22427             else
 22428               # We're done! :-)
 22428               # We're done! :-)
 22429               BOOT_JDK_FOUND=yes
 22429               BOOT_JDK_FOUND=yes
 22430 
 22430 
 22595           else
 22595           else
 22596             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22596             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22597             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22597             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22598 
 22598 
 22599             # Extra M4 quote needed to protect [] in grep expression.
 22599             # Extra M4 quote needed to protect [] in grep expression.
 22600             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22600             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22601             if test "x$FOUND_CORRECT_VERSION" = x; then
 22601             if test "x$FOUND_CORRECT_VERSION" = x; then
 22602               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22602               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22603 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22603 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22604               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22604               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22605 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22605 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22606               BOOT_JDK_FOUND=no
 22606               BOOT_JDK_FOUND=no
 22607             else
 22607             else
 22608               # We're done! :-)
 22608               # We're done! :-)
 22609               BOOT_JDK_FOUND=yes
 22609               BOOT_JDK_FOUND=yes
 22610 
 22610 
 22803           else
 22803           else
 22804             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22804             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22805             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22805             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22806 
 22806 
 22807             # Extra M4 quote needed to protect [] in grep expression.
 22807             # Extra M4 quote needed to protect [] in grep expression.
 22808             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22808             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22809             if test "x$FOUND_CORRECT_VERSION" = x; then
 22809             if test "x$FOUND_CORRECT_VERSION" = x; then
 22810               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22810               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22811 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22811 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22812               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22812               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22813 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22813 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22814               BOOT_JDK_FOUND=no
 22814               BOOT_JDK_FOUND=no
 22815             else
 22815             else
 22816               # We're done! :-)
 22816               # We're done! :-)
 22817               BOOT_JDK_FOUND=yes
 22817               BOOT_JDK_FOUND=yes
 22818 
 22818 
 22983           else
 22983           else
 22984             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22984             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 22985             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22985             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 22986 
 22986 
 22987             # Extra M4 quote needed to protect [] in grep expression.
 22987             # Extra M4 quote needed to protect [] in grep expression.
 22988             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 22988             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 22989             if test "x$FOUND_CORRECT_VERSION" = x; then
 22989             if test "x$FOUND_CORRECT_VERSION" = x; then
 22990               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22990               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 22991 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22991 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 22992               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 22992               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 22993 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 22993 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 22994               BOOT_JDK_FOUND=no
 22994               BOOT_JDK_FOUND=no
 22995             else
 22995             else
 22996               # We're done! :-)
 22996               # We're done! :-)
 22997               BOOT_JDK_FOUND=yes
 22997               BOOT_JDK_FOUND=yes
 22998 
 22998 
 23191           else
 23191           else
 23192             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23192             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23193             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23193             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23194 
 23194 
 23195             # Extra M4 quote needed to protect [] in grep expression.
 23195             # Extra M4 quote needed to protect [] in grep expression.
 23196             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 23196             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 23197             if test "x$FOUND_CORRECT_VERSION" = x; then
 23197             if test "x$FOUND_CORRECT_VERSION" = x; then
 23198               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23198               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23199 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23199 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23200               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 23200               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 23201 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 23201 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 23202               BOOT_JDK_FOUND=no
 23202               BOOT_JDK_FOUND=no
 23203             else
 23203             else
 23204               # We're done! :-)
 23204               # We're done! :-)
 23205               BOOT_JDK_FOUND=yes
 23205               BOOT_JDK_FOUND=yes
 23206 
 23206 
 23371           else
 23371           else
 23372             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23372             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23373             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23373             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23374 
 23374 
 23375             # Extra M4 quote needed to protect [] in grep expression.
 23375             # Extra M4 quote needed to protect [] in grep expression.
 23376             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 23376             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 23377             if test "x$FOUND_CORRECT_VERSION" = x; then
 23377             if test "x$FOUND_CORRECT_VERSION" = x; then
 23378               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23378               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23379 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23379 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23380               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 23380               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 23381 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 23381 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 23382               BOOT_JDK_FOUND=no
 23382               BOOT_JDK_FOUND=no
 23383             else
 23383             else
 23384               # We're done! :-)
 23384               # We're done! :-)
 23385               BOOT_JDK_FOUND=yes
 23385               BOOT_JDK_FOUND=yes
 23386 
 23386 
 23566           else
 23566           else
 23567             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23567             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23568             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23568             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23569 
 23569 
 23570             # Extra M4 quote needed to protect [] in grep expression.
 23570             # Extra M4 quote needed to protect [] in grep expression.
 23571             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 23571             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 23572             if test "x$FOUND_CORRECT_VERSION" = x; then
 23572             if test "x$FOUND_CORRECT_VERSION" = x; then
 23573               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23573               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23574 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23574 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23575               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 23575               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 23576 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 23576 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 23577               BOOT_JDK_FOUND=no
 23577               BOOT_JDK_FOUND=no
 23578             else
 23578             else
 23579               # We're done! :-)
 23579               # We're done! :-)
 23580               BOOT_JDK_FOUND=yes
 23580               BOOT_JDK_FOUND=yes
 23581 
 23581 
 23744           else
 23744           else
 23745             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23745             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23746             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23746             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23747 
 23747 
 23748             # Extra M4 quote needed to protect [] in grep expression.
 23748             # Extra M4 quote needed to protect [] in grep expression.
 23749             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 23749             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 23750             if test "x$FOUND_CORRECT_VERSION" = x; then
 23750             if test "x$FOUND_CORRECT_VERSION" = x; then
 23751               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23751               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23752 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23752 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23753               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 23753               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 23754 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 23754 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 23755               BOOT_JDK_FOUND=no
 23755               BOOT_JDK_FOUND=no
 23756             else
 23756             else
 23757               # We're done! :-)
 23757               # We're done! :-)
 23758               BOOT_JDK_FOUND=yes
 23758               BOOT_JDK_FOUND=yes
 23759 
 23759 
 23940           else
 23940           else
 23941             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23941             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 23942             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23942             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 23943 
 23943 
 23944             # Extra M4 quote needed to protect [] in grep expression.
 23944             # Extra M4 quote needed to protect [] in grep expression.
 23945             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 23945             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 23946             if test "x$FOUND_CORRECT_VERSION" = x; then
 23946             if test "x$FOUND_CORRECT_VERSION" = x; then
 23947               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23947               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 23948 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23948 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 23949               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 23949               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 23950 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 23950 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 23951               BOOT_JDK_FOUND=no
 23951               BOOT_JDK_FOUND=no
 23952             else
 23952             else
 23953               # We're done! :-)
 23953               # We're done! :-)
 23954               BOOT_JDK_FOUND=yes
 23954               BOOT_JDK_FOUND=yes
 23955 
 23955 
 24118           else
 24118           else
 24119             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24119             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24120             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24120             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24121 
 24121 
 24122             # Extra M4 quote needed to protect [] in grep expression.
 24122             # Extra M4 quote needed to protect [] in grep expression.
 24123             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 24123             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 24124             if test "x$FOUND_CORRECT_VERSION" = x; then
 24124             if test "x$FOUND_CORRECT_VERSION" = x; then
 24125               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24125               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24126 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24126 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24127               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 24127               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 24128 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 24128 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 24129               BOOT_JDK_FOUND=no
 24129               BOOT_JDK_FOUND=no
 24130             else
 24130             else
 24131               # We're done! :-)
 24131               # We're done! :-)
 24132               BOOT_JDK_FOUND=yes
 24132               BOOT_JDK_FOUND=yes
 24133 
 24133 
 24313           else
 24313           else
 24314             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24314             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24315             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24315             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24316 
 24316 
 24317             # Extra M4 quote needed to protect [] in grep expression.
 24317             # Extra M4 quote needed to protect [] in grep expression.
 24318             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 24318             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 24319             if test "x$FOUND_CORRECT_VERSION" = x; then
 24319             if test "x$FOUND_CORRECT_VERSION" = x; then
 24320               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24320               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24321 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24321 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24322               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 24322               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 24323 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 24323 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 24324               BOOT_JDK_FOUND=no
 24324               BOOT_JDK_FOUND=no
 24325             else
 24325             else
 24326               # We're done! :-)
 24326               # We're done! :-)
 24327               BOOT_JDK_FOUND=yes
 24327               BOOT_JDK_FOUND=yes
 24328 
 24328 
 24491           else
 24491           else
 24492             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24492             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24493             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24493             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24494 
 24494 
 24495             # Extra M4 quote needed to protect [] in grep expression.
 24495             # Extra M4 quote needed to protect [] in grep expression.
 24496             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 24496             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 24497             if test "x$FOUND_CORRECT_VERSION" = x; then
 24497             if test "x$FOUND_CORRECT_VERSION" = x; then
 24498               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24498               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24499 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24499 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24500               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 24500               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 24501 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 24501 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 24502               BOOT_JDK_FOUND=no
 24502               BOOT_JDK_FOUND=no
 24503             else
 24503             else
 24504               # We're done! :-)
 24504               # We're done! :-)
 24505               BOOT_JDK_FOUND=yes
 24505               BOOT_JDK_FOUND=yes
 24506 
 24506 
 24687           else
 24687           else
 24688             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24688             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24689             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24689             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24690 
 24690 
 24691             # Extra M4 quote needed to protect [] in grep expression.
 24691             # Extra M4 quote needed to protect [] in grep expression.
 24692             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 24692             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 24693             if test "x$FOUND_CORRECT_VERSION" = x; then
 24693             if test "x$FOUND_CORRECT_VERSION" = x; then
 24694               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24694               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24695 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24695 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24696               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 24696               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 24697 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 24697 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 24698               BOOT_JDK_FOUND=no
 24698               BOOT_JDK_FOUND=no
 24699             else
 24699             else
 24700               # We're done! :-)
 24700               # We're done! :-)
 24701               BOOT_JDK_FOUND=yes
 24701               BOOT_JDK_FOUND=yes
 24702 
 24702 
 24865           else
 24865           else
 24866             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24866             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 24867             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24867             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 24868 
 24868 
 24869             # Extra M4 quote needed to protect [] in grep expression.
 24869             # Extra M4 quote needed to protect [] in grep expression.
 24870             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 24870             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 24871             if test "x$FOUND_CORRECT_VERSION" = x; then
 24871             if test "x$FOUND_CORRECT_VERSION" = x; then
 24872               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24872               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 24873 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24873 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 24874               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 24874               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 24875 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 24875 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 24876               BOOT_JDK_FOUND=no
 24876               BOOT_JDK_FOUND=no
 24877             else
 24877             else
 24878               # We're done! :-)
 24878               # We're done! :-)
 24879               BOOT_JDK_FOUND=yes
 24879               BOOT_JDK_FOUND=yes
 24880 
 24880 
 25042           else
 25042           else
 25043             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 25043             # Oh, this is looking good! We probably have found a proper JDK. Is it the correct version?
 25044             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 25044             BOOT_JDK_VERSION=`"$BOOT_JDK/bin/java" -version 2>&1 | head -n 1`
 25045 
 25045 
 25046             # Extra M4 quote needed to protect [] in grep expression.
 25046             # Extra M4 quote needed to protect [] in grep expression.
 25047             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[789]\.'`
 25047             FOUND_CORRECT_VERSION=`echo $BOOT_JDK_VERSION | grep  '\"1\.[89]\.'`
 25048             if test "x$FOUND_CORRECT_VERSION" = x; then
 25048             if test "x$FOUND_CORRECT_VERSION" = x; then
 25049               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 25049               { $as_echo "$as_me:${as_lineno-$LINENO}: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&5
 25050 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 25050 $as_echo "$as_me: Potential Boot JDK found at $BOOT_JDK is incorrect JDK version ($BOOT_JDK_VERSION); ignoring" >&6;}
 25051               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 7, 8 or 9)" >&5
 25051               { $as_echo "$as_me:${as_lineno-$LINENO}: (Your Boot JDK must be version 8 or 9)" >&5
 25052 $as_echo "$as_me: (Your Boot JDK must be version 7, 8 or 9)" >&6;}
 25052 $as_echo "$as_me: (Your Boot JDK must be version 8 or 9)" >&6;}
 25053               BOOT_JDK_FOUND=no
 25053               BOOT_JDK_FOUND=no
 25054             else
 25054             else
 25055               # We're done! :-)
 25055               # We're done! :-)
 25056               BOOT_JDK_FOUND=yes
 25056               BOOT_JDK_FOUND=yes
 25057 
 25057 
 41670       arm )
 41670       arm )
 41671         # on arm we don't prevent gcc to omit frame pointer but do prevent strict aliasing
 41671         # on arm we don't prevent gcc to omit frame pointer but do prevent strict aliasing
 41672         CFLAGS_JDK="${CFLAGS_JDK} -fno-strict-aliasing"
 41672         CFLAGS_JDK="${CFLAGS_JDK} -fno-strict-aliasing"
 41673         ;;
 41673         ;;
 41674       ppc )
 41674       ppc )
 41675         # on ppc we don't prevent gcc to omit frame pointer nor strict-aliasing
 41675         # on ppc we don't prevent gcc to omit frame pointer but do prevent strict aliasing
       
 41676         CFLAGS_JDK="${CFLAGS_JDK} -fno-strict-aliasing"
 41676         ;;
 41677         ;;
 41677       * )
 41678       * )
 41678         CCXXFLAGS_JDK="$CCXXFLAGS_JDK -fno-omit-frame-pointer"
 41679         CCXXFLAGS_JDK="$CCXXFLAGS_JDK -fno-omit-frame-pointer"
 41679         CFLAGS_JDK="${CFLAGS_JDK} -fno-strict-aliasing"
 41680         CFLAGS_JDK="${CFLAGS_JDK} -fno-strict-aliasing"
 41680         ;;
 41681         ;;
 48683 
 48684 
 48684   if test "x$FOUND_MEM" = xyes; then
 48685   if test "x$FOUND_MEM" = xyes; then
 48685     { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MEMORY_SIZE MB" >&5
 48686     { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MEMORY_SIZE MB" >&5
 48686 $as_echo "$MEMORY_SIZE MB" >&6; }
 48687 $as_echo "$MEMORY_SIZE MB" >&6; }
 48687   else
 48688   else
 48688     { $as_echo "$as_me:${as_lineno-$LINENO}: result: could not detect memory size, defaulting to 1024 MB" >&5
 48689     { $as_echo "$as_me:${as_lineno-$LINENO}: result: could not detect memory size, defaulting to $MEMORY_SIZE MB" >&5
 48689 $as_echo "could not detect memory size, defaulting to 1024 MB" >&6; }
 48690 $as_echo "could not detect memory size, defaulting to $MEMORY_SIZE MB" >&6; }
 48690     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: This might seriously impact build performance!" >&5
 48691     { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: This might seriously impact build performance!" >&5
 48691 $as_echo "$as_me: WARNING: This might seriously impact build performance!" >&2;}
 48692 $as_echo "$as_me: WARNING: This might seriously impact build performance!" >&2;}
 48692   fi
 48693   fi
 48693 
 48694 
 48694   else
 48695   else