Searched refs:IS_GNU_TIME (Results 1 - 2 of 2) sorted by relevance

/openjdk10/make/common/
H A DMakeBase.gmk359 ifeq ($$(IS_GNU_TIME), yes)
/openjdk10/common/autoconf/
H A Dgenerated-configure.sh935 IS_GNU_TIME
23956 IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'`
23957 if test "x$IS_GNU_TIME" != x; then
23958 IS_GNU_TIME=yes
23960 IS_GNU_TIME=no
[all...]

Completed in 152 milliseconds