RFR: 8248526: configure script failed on WSL in May 2020 update

[Yasumasa Suenaga]

Hi all,

Please review this change.
This change is happen on discussion for WSL 2 support [1], but I tested this change on WSL 1 (Ubuntu 20.04).

   JBS: https://bugs.openjdk.java.net/browse/JDK-8248526
   webrev: http://cr.openjdk.java.net/~ysuenaga/JDK-8248526/webrev.00/

I saw two configure errors when I run configure script on WSL in Windows 10 May 2020 update (See JBS for more details).
Since Windows 10 build 18945 [2], wslpath issue [3] has been fixed. I guess this is the cause of wslpath problem in configure script.


Thanks,

Yasumasa


[1] https://mail.openjdk.java.net/pipermail/build-dev/2020-June/027571.html
[2] https://docs.microsoft.com/ja-jp/windows/wsl/release-notes#build-18945
[3] https://github.com/microsoft/WSL/issues/4078