tree 9487ea034194c4b7f084c657a80545accd1b41a3
parent 3a69598ade6596d86d031ef74dd4afbfb61cb2a1
author Gilles Peskine <Gilles.Peskine@arm.com> 1770326632 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1770326632 +0100

Add missing dependencies on generated headers

Without those dependencies, the headers don't get generated.

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