tree 7055084ff1c707f548d5409446e7244373007919
parent 96e0d8ebfcd89e509e1605664383e4e33792acb3
author Gilles Peskine <Gilles.Peskine@arm.com> 1537970080 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1538036260 +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.