commit 32da9f66a82d7c1a578fd874234f2e871890aec5
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> Fri Jul 31 15:52:30 2015 +0200
committer Manuel Pégourié-Gonnard <mpg2@elzevir.fr> Thu Aug 06 09:57:54 2015 +0200
tree f5ff8e4579ab266b2ef178dbf01d3253f6dac512
parent 43569a93cc42e7839fe94f8018fa3257ed89496e

Add support for MBEDTLS_USER_CONFIG_FILE

tests/scripts/check-names.sh

diff --git a/tests/scripts/check-names.sh b/tests/scripts/check-names.sh
index ed65306..7e67cef 100755
--- a/tests/scripts/check-names.sh
+++ b/tests/scripts/check-names.sh
@@ -56,7 +56,7 @@
     $HEADERS library/*.c \
     | grep MBEDTLS | sort -u > _MBEDTLS_XXX
 TYPOS=$( diff _caps _MBEDTLS_XXX | sed -n 's/^> //p' \
-            | egrep -v 'XXX|__|_$|^MBEDTLS_CONFIG_FILE$' || true )
+            | egrep -v 'XXX|__|_$|^MBEDTLS_.*CONFIG_FILE$' || true )
 rm _MBEDTLS_XXX _caps
 if [ "x$TYPOS" = "x" ]; then
     echo "PASS"