RFR: 7902970: Script build.sh will fail if the default shell is dash [v2]

[Guoxiong Li]

On Thu, 8 Jul 2021 03:39:13 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Guoxiong Li has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Revise the README according to the review comment
>
> README.md line 33:
> 
>> 31: 
>> 32:     % bash make/build.sh --jdk JDK-directory
>> 33: 
> 
> Suggest simplifying it to:
> 
> 
> If your shell is not compatible with `bash`, you may need to invoke `bash` explicitly:
> 
>      % bash make/build.sh --jdk JDK-directory

Good idea. Revised just now.

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

PR: https://git.openjdk.java.net/jtreg/pull/12