Re: [PATCH 1/4] build: work around bash issue

[Julien Grall <julien@xxxxxxx>]

On 06/08/2020 10:25, Jan Beulich wrote:
> On 06.08.2020 11:20, Julien Grall wrote:
> > On 06/08/2020 10:14, Jan Beulich wrote:
> > > I've observed it with 3.2.57(2).
> > Thank you. Please mention it in the commit message.
> Well, added. If I had seen any use of the precise version, I would
> have done so right away. Would you mind educating me how knowing
> the precise version is useful, without knowing up to which version
> the issue exists?
Indeed, this wouldn't tell us whether other bash versions are affected.

However, as a reviewer, I need to be able to verify what you wrote is 
correct and that your patch is the correct way to solve it.
So providing the bash version where you observed the issue will at least 
fulfill this part.
Cheers,

--
Julien Grall