[jdk17u-dev] Integrated: 8312620: WSL Linux build crashes after JDK-8310233

[Thomas Stuefe]

On Fri, 25 Aug 2023 11:45:18 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote:

> Clean backport (based on https://github.com/openjdk/jdk17u-dev/pull/1695), fixes an issue where the build on Windows WSL was failing post-8310233.

This pull request has now been integrated.

Changeset: 804ce093
Author:    Thomas Stuefe <stuefe at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/804ce093a4b7c31e7d14f7e396df46b65fb1a974
Stats:     21 lines in 3 files changed: 14 ins; 0 del; 7 mod

8312620: WSL Linux build crashes after JDK-8310233

Backport-of: 25058cd23ac9c8993e7acfd82728ee4c623f0914

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

PR: https://git.openjdk.org/jdk17u-dev/pull/1696