3783 # definitions. It is replaced with custom functionality when building |
3784 # definitions. It is replaced with custom functionality when building |
3784 # custom sources. |
3785 # custom sources. |
3785 #CUSTOM_AUTOCONF_INCLUDE |
3786 #CUSTOM_AUTOCONF_INCLUDE |
3786 |
3787 |
3787 # Do not change or remove the following line, it is needed for consistency checks: |
3788 # Do not change or remove the following line, it is needed for consistency checks: |
3788 DATE_WHEN_GENERATED=1372413413 |
3789 DATE_WHEN_GENERATED=1372413705 |
3789 |
3790 |
3790 ############################################################################### |
3791 ############################################################################### |
3791 # |
3792 # |
3792 # Initialization / Boot-strapping |
3793 # Initialization / Boot-strapping |
3793 # |
3794 # |
10469 else |
10470 else |
10470 { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5 |
10471 { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5 |
10471 $as_echo "no" >&6; } |
10472 $as_echo "no" >&6; } |
10472 fi |
10473 fi |
10473 |
10474 |
|
10475 |
|
10476 # Check if it's GNU time |
|
10477 IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'` |
|
10478 if test "x$IS_GNU_TIME" != x; then |
|
10479 IS_GNU_TIME=yes |
|
10480 else |
|
10481 IS_GNU_TIME=no |
|
10482 fi |
10474 |
10483 |
10475 |
10484 |
10476 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then |
10485 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then |
10477 |
10486 |
10478 for ac_prog in comm |
10487 for ac_prog in comm |