From 6b5e60c26cf2f8e47f50c034c2600fdbc6e8111a Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Mon, 7 Oct 2019 15:57:50 +0200
Subject: [PATCH] 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.
---
 scripts/config.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/config.pl b/scripts/config.pl
index 2519623cd..89182020a 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -100,6 +100,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