tree ccf194d2d0b6786e59f5e23678c2a227e4b43eac
parent 15ad57989598007a8d401d927052ac65df27efd4
author Gilles Peskine <Gilles.Peskine@arm.com> 1521753963 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521767803 +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.