tree 4276e49ab6f56fcb134a92e9d94212c872eb13f0
parent 88a07457c7e6dbe0c170a75110f84bad39f156c6
author Gilles Peskine <Gilles.Peskine@arm.com> 1625764027 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626106771 +0200

Heed --quiet when running make generated_files

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