tree d6fa68011ed5c6cfea576375e571807a0c552ee2
parent c89c96061e99d206d1e6d818c5680bd33884d554
author Gilles Peskine <Gilles.Peskine@arm.com> 1619095816 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1619098543 +0200

Don't make configuration-independent files depend on config.h

Don't regenerate configuration-independent files when config.h or
crypto_config.h changes. These files only depend on the set of symbols
present in the headers and not on which symbols are enabled. To avoid
rebuilding the generated files whenever the configuration changes,
don't declare the configuration as a dependency.

In the rare event that a maintainer makes an edit to *config.h that
affects the generated files, they'll have to remove the generated files.

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