common/autoconf/basics.m4
changeset 18425 768f15fff30a
parent 18421 0296625b6c1f
child 18427 97349ca6a705
--- a/common/autoconf/basics.m4	Fri Jun 28 12:00:03 2013 +0200
+++ b/common/autoconf/basics.m4	Fri Jun 28 12:02:37 2013 +0200
@@ -622,6 +622,14 @@
 AC_PATH_PROG(HG, hg)
 AC_PATH_PROG(STAT, stat)
 AC_PATH_PROG(TIME, time)
+# Check if it's GNU time
+IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'`
+if test "x$IS_GNU_TIME" != x; then
+  IS_GNU_TIME=yes
+else
+  IS_GNU_TIME=no
+fi
+AC_SUBST(IS_GNU_TIME)
 
 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then
   BASIC_REQUIRE_PROG(COMM, comm)