| commit | 16ee3c15a39f11dd20069aba5465a631429a3ab3 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Mon Oct 07 15:57:50 2019 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Oct 08 15:19:25 2019 +0200 |
| tree | dbc4212123333033827eed6350d23f638f862b47 | |
| parent | 8b424397b9a47e796bf7230a72527cd4587f37e9 [diff] |
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 7afc898..c2be0ba 100755 --- a/scripts/config.pl +++ b/scripts/config.pl
@@ -87,6 +87,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