From 6235dbb314aba22d4ff4ded6a7cfe2164d92b5ef Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Mon, 1 Sep 2025 19:28:32 +0200 Subject: [PATCH] Improve comments Signed-off-by: Gilles Peskine --- scripts/mbedtls_framework/config_checks_generator.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/mbedtls_framework/config_checks_generator.py b/scripts/mbedtls_framework/config_checks_generator.py index 40cd3aa1b..8c55ac614 100644 --- a/scripts/mbedtls_framework/config_checks_generator.py +++ b/scripts/mbedtls_framework/config_checks_generator.py @@ -122,6 +122,9 @@ class Removed(Checker): def user(self, prefix: str) -> str: """C code to inject immediately after including the user config.""" + # A removed option is forbidden, just like an internal option. + # But since we're checking a macro that is not defined anywhere, + # we need to tell check_names.py that this is a false positive. code = super().user(prefix) return re.sub(rf'^ *# *\w+.*\b{self.name}\b.*$', lambda m: m.group(0) + ' //no-check-names', @@ -134,7 +137,7 @@ class BranchData(typing.NamedTuple): # Subdirectory where the generated headers will be located. header_directory: str - # Prefix used to the generated headers' basename. + # Prefix used for the generated headers' basename. header_prefix: str # Prefix used for C preprocessor macros.