config.pl full: exclude MBEDTLS_CTR_DRBG_USE_128_BIT_KEY

This is a variant toggle, not an extra feature, so it should be tested
separately.
This commit is contained in:
Gilles Peskine 2019-10-07 15:57:50 +02:00
parent 8b424397b9
commit 16ee3c15a3

View file

@ -87,6 +87,7 @@ MBEDTLS_TEST_NULL_ENTROPY
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