tree 5eb7b7a791399cd235d21ee6d54c036c555a402e
parent 086f85f0556f0f9644382e60a4e83e090e0c7a75
author Gilles Peskine <Gilles.Peskine@arm.com> 1587934265 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690306835 +0200

Add --quiet option to suppress demos' output

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