tree dc9c6841295be9b998d0eb01fa823fba32bba2e3
parent 2cfeb887b4a1e7f659219ad8124a79090c1bc684
author Gilles Peskine <Gilles.Peskine@arm.com> 1521753963 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521767913 +0100

all.sh --keep-going: properly handle multiple-builds scripts

In keep-going mode, if a multiple-builds script fails, record its
status and keep going.