tree b1543fbc788381adbf6c95616efd00b9aad247d5
parent bfcb6e16ab669814478b1de63e48d4ff6b408711
author Gilles Peskine <Gilles.Peskine@arm.com> 1586451008 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586511230 +0200

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

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