diff options
author | Jack Lloyd <[email protected]> | 2019-06-08 08:49:04 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-06-08 08:50:26 -0400 |
commit | f032968e6637a2897ee66473d181ac5b0d7f3c5c (patch) | |
tree | 3578c337422c816210907c1dcd561a0f69956ddc /configure.py | |
parent | d02aa46ac0f4bf260ab343af47e2a0ae30ef4fa9 (diff) |
Ignore all deprecated headers when generating amalgamation
Previously was limited to botan.h which was the only one with a
warning in it.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 3de3c5815..b892389e3 100755 --- a/configure.py +++ b/configure.py @@ -2491,14 +2491,16 @@ class AmalgamationHeader(object): if name in self.included_already: return - if name == 'botan.h': - return - self.included_already.add(name) if name not in self.file_contents: return + depr_marker = 'BOTAN_DEPRECATED_HEADER(%s)\n' % (name) + if depr_marker in self.file_contents[name]: + logging.debug("Ignoring deprecated header %s", name) + return + for line in self.file_contents[name]: header = AmalgamationHelper.is_botan_include(line) if header: |