commit 93b15619f4c3752cf7cff2ac667f41ef320582a4
author Gilles Peskine <Gilles.Peskine@arm.com> Thu Apr 23 18:02:00 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Thu Apr 23 20:05:00 2020 +0200
tree d0bbd21f5b48489c0880f19c280c774040ea5d0c
parent 4099df6fb2ffd0390003857a1f0c5746da41505c

MBEDTLS_DEPRECATED_WARNING now always emits a #warning

MBEDTLS_DEPRECATED_WARNING now always emits a #warning since this
branch as a whole is deprecated. So disable it from most builds.

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

scripts/config.py

diff --git a/scripts/config.py b/scripts/config.py
index 6d4828a..d6d6c8b 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -166,6 +166,7 @@
     if name in [
             'MBEDTLS_CTR_DRBG_USE_128_BIT_KEY',
             'MBEDTLS_DEPRECATED_REMOVED',
+            'MBEDTLS_DEPRECATED_WARNING',
             'MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED',
             'MBEDTLS_ECP_RESTARTABLE',
             'MBEDTLS_ENTROPY_FORCE_SHA256', # Variant toggle, tested separately