From 659db005176b3872b2de3f1edbbd48a0245542ab Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 16 Apr 2020 20:54:01 +0200
Subject: [PATCH] Clarify that EXCLUDE_FROM_FULL has exceptions from
 is_seamless_alt

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 scripts/config.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/config.py b/scripts/config.py
index bc9a5147c..ecf95d165 100755
--- a/scripts/config.py
+++ b/scripts/config.py
@@ -210,6 +210,9 @@ def is_seamless_alt(name):
 
     Exclude alternative implementations of library functions since they require
     an implementation of the relevant functions and an xxx_alt.h header.
+
+    If a symbol matches this naming pattern but doesn't behave like the others,
+    list it in EXCLUDE_FROM_FULL.
     """
     return name.startswith('MBEDTLS_PLATFORM_')