Gilles Peskine 48230e84cb In library, with make, only require the framework for generated files ...

This way, `make lib` will work in the absence of the framework, as long as
generated files are present.

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

2024-03-04 17:12:59 +01:00

7.1 KiB

Raw Blame History

View Raw