| commit | e249c0e6b3cc983a549a0938901cbcbbb280350f | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Mon Oct 07 15:57:50 2019 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Mon Oct 07 15:57:50 2019 +0200 |
| tree | a1f11aceae4b6055d8b684822b0d9021a1ba5418 | |
| parent | 77d44573cb2439f8054d91a4a10aef43abd07aae [diff] [blame] |
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.
diff --git a/scripts/config.pl b/scripts/config.pl index ed0967d..8066bb0 100755 --- 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