commit 2d9d6db60f5fd0a4993d90e47f39462647624ad6
author Gilles Peskine <Gilles.Peskine@arm.com> Mon Jun 18 23:25:28 2018 +0200
committer itayzafrir <itay.zafrir@arm.com> Wed Sep 12 16:22:51 2018 +0300
tree 4eaf31cbef0f83a43520466307202e4951d9ca89
parent 313b8af18e6a85303d50eeafe7cd704d0bcd2fd9

check-names: also check PSA files

Allow both mbedtls and psa identifiers in either set of files for now.

tests/scripts/check-names.sh

diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh
index 4c66440..68493f9 100755
--- a/tests/scripts/check-names.sh
+++ b/tests/scripts/check-names.sh
@@ -53,7 +53,7 @@
 for THING in identifiers; do
     printf "Names of $THING: "
     test -r $THING
-    BAD=$( grep -v '^mbedtls_[0-9a-z_]*[0-9a-z]$' $THING || true )
+    BAD=$( grep -E -v '^(mbedtls|psa)_[0-9a-z_]*[0-9a-z]$' $THING || true )
     if [ "x$BAD" = "x" ]; then
         echo "PASS"
     else