tree dc661991737e8fdbf6ec0e60e4dffadc9cd3a7b6
parent d362d0bf863bc89d68676eee83c8fd594e23ec67
author Gilles Peskine <Gilles.Peskine@arm.com> 1582724680 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1582724680 +0100

Move EXTRA_GENERATED mentions to a separate line

This makes reconciliation with other branches that don't have
it (mbedtls, backports) easier.