tree f3096b72c4c88b5eccd90995d8e3b07bf799b8de
parent 1596554c9930cbd1c5ef1f0e07196cfab192bcea
author Gilles Peskine <Gilles.Peskine@arm.com> 1537970080 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1538049465 +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.