1
0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-07-30 22:43:08 +03:00

check-names: also check PSA files

Allow both mbedtls and psa identifiers in either set of files for now.
This commit is contained in:
Gilles Peskine
2018-06-18 23:25:28 +02:00
committed by itayzafrir
parent 313b8af18e
commit 2d9d6db60f
3 changed files with 3 additions and 2 deletions

View File

@ -53,7 +53,7 @@ done
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