tree 12a1975595e6b7fdb3aa4ca3b8ebf9eb1225d92d
parent 709346aed8d9683c2a4fffa1110d1fa877eb4616
author Gilles Peskine <Gilles.Peskine@arm.com> 1512946900 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1513865841 +0100

all.sh: --keep-going mode

Add --keep-going mode to all.sh. In this mode, if a test fails, keep
running the subsequent tests. If a build fails, skip any tests of this
build and move on to the next tests. Errors in infrastructure, such as
git or cmake runs, remain fatal. Print an error summary at the end of
the run, and return a nonzero code if there was any failure.

In known terminal types, use color to highlight errors.

On a fatal signal, interrupt the run and report the errors so far.