commit b6837761815e1a8f6f475be4575824fc386a08dd
author Gilles Peskine <Gilles.Peskine@arm.com> Wed Apr 21 18:45:08 2021 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Wed Apr 21 18:45:08 2021 +0200
tree ed3804df99fca9895985887f2283d9f66687b5d4
parent 5192e00a4d05c59b4e17ee92034252450b61921e

Per-line opt-out of check-names typo check

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

tests/scripts/check-names.sh

diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh
index 70c64b9..9492896 100755
--- a/tests/scripts/check-names.sh
+++ b/tests/scripts/check-names.sh
@@ -97,8 +97,9 @@
 LIBRARY="$LIBRARY 3rdparty/everest/library/everest.c 3rdparty/everest/library/x25519.c"
 NL='
 '
-sed -n 's/MBED..._[A-Z0-9_]*/\'"$NL"'&\'"$NL"/gp \
-    $HEADERS $LIBRARY \
+cat $HEADERS $LIBRARY \
+    | grep -v -e '//no-check-names' -e '#error' \
+    | sed -n 's/MBED..._[A-Z0-9_]*/\'"$NL"'&\'"$NL"/gp \
     | grep MBEDTLS | sort -u > _MBEDTLS_XXX
 TYPOS=$( diff _caps _MBEDTLS_XXX | sed -n 's/^> //p' \
             | egrep -v 'XXX|__|_$|^MBEDTLS_.*CONFIG_FILE$' || true )