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/list-identifiers.sh

diff --git a/tests/scripts/list-identifiers.sh b/tests/scripts/list-identifiers.sh
index 130d9d6..89daa68 100755
--- a/tests/scripts/list-identifiers.sh
+++ b/tests/scripts/list-identifiers.sh
@@ -7,7 +7,7 @@
     exit 1
 fi
 
-HEADERS=$( ls include/mbedtls/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
+HEADERS=$( ls include/mbedtls/*.h include/psa/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
 
 rm -f identifiers