Integrated: CODETOOLS-7903184: Update OS version check

Fri May 13 01:45:08 UTC 2022

On Thu, 12 May 2022 21:12:02 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a small fix to be slightly more permissive in the check for the os.version property, and allow a double-dotted number (like 1.2.3) to be accepted as better than a single-dotted prefix (like 1.2).

This pull request has now been integrated.

Changeset: 9c4029fe
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.java.net/jtreg/commit/9c4029fea0e0dde22814542f0bc35ae17ac3f590
Stats:     2 lines in 2 files changed: 0 ins; 0 del; 2 mod

7903184: Update OS version check

Reviewed-by: iris, cstein

-------------

PR: https://git.openjdk.java.net/jtreg/pull/83