commit f7d945f4eb287a6030e6a590f15513d38b345fb6
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> Fri Apr 03 15:21:50 2015 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> Fri Apr 03 18:47:04 2015 +0200
tree 1df1e22a323115f9760b2c83e204a6c0dd45eb37
parent 88323c70e87331951982b1168c9edc9a25a2fd6e

Handle remaining corner-cases

tmp/analyze-names.sh

diff --git a/tmp/analyze-names.sh b/tmp/analyze-names.sh
index 042f3eb..36422ab 100755
--- a/tmp/analyze-names.sh
+++ b/tmp/analyze-names.sh
@@ -34,7 +34,7 @@
 NL='
 '
 sed -n 's/POLARSSL_[A-Z0-9_]*/\'"$NL"'&\'"$NL"/gp \
-    include/mbedtls/*.h tests/scripts/* scripts/* library/*.c \
+    include/mbedtls/*.h tests/scripts/* scripts/* library/*.c configs/*.h \
     | grep POLARSSL | sort -u > _POLARSSL_XXX
 diff public-names _POLARSSL_XXX | sed -n 's/^> //p' > extra-names
 rm _POLARSSL_XXX