On 8/01/2021 4:45 pm, Yasumasa Suenaga wrote:
On Fri, 8 Jan 2021 06:23:35 GMT, David Holmes <dhol...@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.
Sorry but how does this:
winpath="$($PATHTOOL -w "$path.exe" 2>/dev/null)"
not add the .exe extension?
David
-------------
PR: https://git.openjdk.java.net/jdk/pull/1889