tree 602fe64f32adb93bdf6cd0507b849e64369f92da
parent 3cbd69c4d42df872ba3bec1fe511a0183255da74
author Gilles Peskine <Gilles.Peskine@arm.com> 1628169047 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1628169047 +0200

Make --quiet more effective when running make generated_files

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