tree 11c9b7afa3f00e790887a25c015586a6474e4cbd
parent ef39c49cd755aaa5e634c174a20a1b458f6049dc
author Gilles Peskine <Gilles.Peskine@arm.com> 1557935542 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1557935722 +0200

all.sh: invoke check-names.sh in print-trace-on-exit mode