From ed5c21dc3775bebaeb09d4d32cfbd149bc6dcac1 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Mon, 27 Jun 2022 23:02:09 +0200 Subject: [PATCH] Declare deprecated option for no_deprecated configs Signed-off-by: Gilles Peskine --- scripts/config.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/config.py b/scripts/config.py index 356b99883..f045f98f9 100755 --- a/scripts/config.py +++ b/scripts/config.py @@ -324,6 +324,9 @@ def crypto_adapter(adapter): return adapter(name, active, section) return continuation +DEPRECATED = frozenset([ + 'MBEDTLS_PSA_CRYPTO_SE_C', +]) def no_deprecated_adapter(adapter): """Modify an adapter to disable deprecated symbols. @@ -334,6 +337,8 @@ def no_deprecated_adapter(adapter): def continuation(name, active, section): if name == 'MBEDTLS_DEPRECATED_REMOVED': return True + if name in DEPRECATED: + return False if adapter is None: return active return adapter(name, active, section)