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

Wed Jul 14 02:13:20 UTC 2021

On Tue, 13 Jul 2021 18:37:30 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
>
> Hmmm, I didn't mean to close the PR; I was trying to mark a conversation as Resolved.

@jonathan-gibbons Thanks for your review. Could I get your help to sponsor this patch?

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

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