common/autoconf/basics.m4

changeset 754
78aaf5d3314d
parent 750
f5eb23490e6a
child 756
b2b87e9e8683
     1.1 --- a/common/autoconf/basics.m4	Fri Jun 28 12:00:03 2013 +0200
     1.2 +++ b/common/autoconf/basics.m4	Fri Jun 28 12:02:37 2013 +0200
     1.3 @@ -622,6 +622,14 @@
     1.4  AC_PATH_PROG(HG, hg)
     1.5  AC_PATH_PROG(STAT, stat)
     1.6  AC_PATH_PROG(TIME, time)
     1.7 +# Check if it's GNU time
     1.8 +IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'`
     1.9 +if test "x$IS_GNU_TIME" != x; then
    1.10 +  IS_GNU_TIME=yes
    1.11 +else
    1.12 +  IS_GNU_TIME=no
    1.13 +fi
    1.14 +AC_SUBST(IS_GNU_TIME)
    1.15  
    1.16  if test "x$OPENJDK_TARGET_OS" = "xwindows"; then
    1.17    BASIC_REQUIRE_PROG(COMM, comm)

mercurial