tree 07f35ec3fec0821b4927bcfc2ae01dcc0d612f3e
parent d6a63f4ca522dfc6fcba656722679845864c5baa
author Gilles Peskine <Gilles.Peskine@arm.com> 1537970080 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1538035711 +0200

In keep-going mode, don't hard-fail on some auxiliary script

Add record_status in front of the invocation of several scripts where
it was missing.