From 6c2d078935b04fefc4576c8644321304a36dc08f Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Sat, 27 Jul 2019 23:37:06 +0200 Subject: [PATCH] Remove obsolete options from config.py These options haven't existed for a long time. --- scripts/config.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/scripts/config.py b/scripts/config.py index 4f5edf8d3..c19222a88 100755 --- a/scripts/config.py +++ b/scripts/config.py @@ -168,9 +168,6 @@ def include_in_full(name): 'MBEDTLS_DEPRECATED_REMOVED', 'MBEDTLS_HAVE_SSE2', 'MBEDTLS_PLATFORM_NO_STD_FUNCTIONS', - 'MBEDTLS_ECP_DP_M221_ENABLED', - 'MBEDTLS_ECP_DP_M383_ENABLED', - 'MBEDTLS_ECP_DP_M511_ENABLED', 'MBEDTLS_MEMORY_DEBUG', 'MBEDTLS_MEMORY_BACKTRACE', 'MBEDTLS_MEMORY_BUFFER_ALLOC_C',