On 2020-06-30 09:47, Yasumasa Suenaga wrote:
Please review this change.
This change is happen on discussion for WSL 2 support , but I
tested this change on WSL 1 (Ubuntu 20.04).
FYI, I have been working for a time on a major rewrite of the way we
handle Windows compilation, which will support cygwin, msys2, wsl1, wsl2
and wine-on-linux, and doing all of this in a cleaner and much more
unified way than we currently do. However, this is far from ready, and
most likely I'll have to continue working with it after my upcoming
vacation. So in the meantime, if your fix solves the immediate problems,
I think we should take it in. The patch itself looks good to me.
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 , wslpath issue  has been fixed. I
guess this is the cause of wslpath problem in configure script.