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