tree 14df73efc453e6a042fea9f9975f1ab0c55f7059
parent 82b2727e51d919e5ff742661d862aca64ddfeeba
author Gilles Peskine <Gilles.Peskine@arm.com> 1587932952 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690306814 +0200

cleanup is part of the external interface

Since there's no EXIT trap in plain sh, the main script must call it
explicitly when it exits.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>