common/autoconf/basics.m4

changeset 754
78aaf5d3314d
parent 750
f5eb23490e6a
child 756
b2b87e9e8683
equal deleted inserted replaced
753:0e533ceee717 754:78aaf5d3314d
620 fi 620 fi
621 AC_PATH_PROGS(READELF, [readelf greadelf]) 621 AC_PATH_PROGS(READELF, [readelf greadelf])
622 AC_PATH_PROG(HG, hg) 622 AC_PATH_PROG(HG, hg)
623 AC_PATH_PROG(STAT, stat) 623 AC_PATH_PROG(STAT, stat)
624 AC_PATH_PROG(TIME, time) 624 AC_PATH_PROG(TIME, time)
625 # Check if it's GNU time
626 IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'`
627 if test "x$IS_GNU_TIME" != x; then
628 IS_GNU_TIME=yes
629 else
630 IS_GNU_TIME=no
631 fi
632 AC_SUBST(IS_GNU_TIME)
625 633
626 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then 634 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then
627 BASIC_REQUIRE_PROG(COMM, comm) 635 BASIC_REQUIRE_PROG(COMM, comm)
628 fi 636 fi
629 637

mercurial