commit ed5c21dc3775bebaeb09d4d32cfbd149bc6dcac1
author Gilles Peskine <Gilles.Peskine@arm.com> Mon Jun 27 23:02:09 2022 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Jun 27 23:02:09 2022 +0200
tree 71c8ae92555cc770b930431d225657f64ca464a5
parent 76851ae3a6f91373d853d5a387fc18b3f0cde053

Declare deprecated option for no_deprecated configs

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

scripts/config.py

diff --git a/scripts/config.py b/scripts/config.py
index 356b998..f045f98 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -324,6 +324,9 @@
         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 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)