RFR: 8283575: Check for GNU time fails for version >1.7
Erik Joelsson
erikj at openjdk.java.net
Wed Mar 23 15:44:43 UTC 2022
The version output of GNU time changed from "GNU time" to "GNU Time" in version 1.8. We need to update our check for identifying GNU time to handle this.
-------------
Commit messages:
- JDK-8283575
Changes: https://git.openjdk.java.net/jdk/pull/7925/files
Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7925&range=00
Issue: https://bugs.openjdk.java.net/browse/JDK-8283575
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.java.net/jdk/pull/7925.diff
Fetch: git fetch https://git.openjdk.java.net/jdk pull/7925/head:pull/7925
PR: https://git.openjdk.java.net/jdk/pull/7925
More information about the build-dev
mailing list