RFR: 8258925: configure script failed on WSL [v2]

[Yasumasa Suenaga]

On Fri, 8 Jan 2021 06:23:35 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> I pushed to new commit to save original `$path` and restore it later if the path not found.
>> Could you review again?
>
> Sorry but I'm really not following exactly what the problem is and thus the solution. How does setting path affect the running of PATHTOOL? Does the problem indicate we should be using winpath rather than path somewhere?

In this case `$PATHTOOL` points `wslpath`, and it tries to convert `$JAVA_HOME/bin/java` to Windows path. However `java` on Windows is `java.exe`, so we need to convert it.

Currently `fixpath.sh` adds `.exe` if `wslpath` fails, then attempt to do it again, but `$path` still lost extension ( `.exe`). So `configure` will fail on WSL because `java.exe` cannot be find.

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

PR: https://git.openjdk.java.net/jdk/pull/1889