tree 5038ca83e3ddfa04f969a1181aee02028ae1863d
parent 2847f879aab89305e1f21def883c57ef0144195a
author Gilles Peskine <Gilles.Peskine@arm.com> 1586451008 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626976694 +0200

Add a few echo statements to make the logs easier to follow

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