On 8/01/2021 4:45 pm, Yasumasa Suenaga wrote:
On Fri, 8 Jan 2021 06:23:35 GMT, David Holmes 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
On Fri, 8 Jan 2021 06:23:35 GMT, David Holmes 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 aff
On Fri, 8 Jan 2021 06:03:46 GMT, Yasumasa Suenaga wrote:
>> make/scripts/fixpath.sh line 152:
>>
>>> 150: # If it fails, try again with an added .exe (needed on WSL)
>>> 151: if [[ $? -ne 0 ]]; then
>>> 152: path="$path.exe"
>>
>> This seems to conflict with the logic starting at
On Fri, 8 Jan 2021 04:27:16 GMT, David Holmes wrote:
>> Yasumasa Suenaga has updated the pull request with a new target base due to
>> a merge or a rebase. The incremental webrev excludes the unrelated changes
>> brought in by the merge/rebase. The pull request contains three additional
>> com
> I ran configure script on WSL 1, but it failed as below:
>
> $ bash configure --enable-debug --with-boot-jdk=/mnt/d/Java/jdk-15.0.1
>
> :
>
> configure: Found potential Boot JDK using configure arguments
> configure: The command for java_to_test, which resolves as
> "/mnt/d/Java/jdk-15.0.
