commit 6c2d078935b04fefc4576c8644321304a36dc08f
author Gilles Peskine <Gilles.Peskine@arm.com> Sat Jul 27 23:37:06 2019 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Fri Sep 13 10:56:03 2019 +0200
tree c36be123da1bca09a17594976f5b19c6e9c9405a
parent 53d41ae8722578c8f3b39e08929c6354211c9c61

Remove obsolete options from config.py

These options haven't existed for a long time.

scripts/config.py

diff --git a/scripts/config.py b/scripts/config.py
index 4f5edf8..c19222a 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -168,9 +168,6 @@
             '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',