config.pl full: exclude MBEDTLS_CTR_DRBG_USE_128_BIT_KEY

gilles-peskine-arm · gilles-peskine-arm · commit e249c0e6b3cc · 2019-10-07T15:57:50.000+02:00
This is a variant toggle, not an extra feature, so it should be tested
separately.
diff --git a/scripts/config.pl b/scripts/config.pl
@@ -78,6 +78,7 @@
 MBEDTLS_DEPRECATED_REMOVED
 MBEDTLS_HAVE_SSE2
 MBEDTLS_PLATFORM_NO_STD_FUNCTIONS
+MBEDTLS_CTR_DRBG_USE_128_BIT_KEY
 MBEDTLS_ECP_DP_M221_ENABLED
 MBEDTLS_ECP_DP_M383_ENABLED
 MBEDTLS_ECP_DP_M511_ENABLED
