From 16ee3c15a39f11dd20069aba5465a631429a3ab3 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 7afc89875..c2be0ba56 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -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