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

[Julien Grall <julien@xxxxxxx>]

On 06/08/2020 10:14, Jan Beulich wrote:
> On 06.08.2020 11:07, Julien Grall wrote:
> > On 06/08/2020 10:04, Jan Beulich wrote:
> > > Older bash fails to honor "set -e" for certain built-in commands
> > "Older" is pretty vague. May I ask the exact version you run into the issue?
> If I knew in what version the issue got fixed, I'd have specified
> that version.
Right, but this is not what I asked. What I requested is that you 
provide the version you observe the issue.
This doesn't mean other versions are not affected, but at least it give 
us a clue where this can happen.
> I've observed it with 3.2.57(2).
Thank you. Please mention it in the commit message.

Cheers,

--
Julien Grall