Remove more evil characters with filename_sanitize() (fix #5309)

[vlc] / src / check_headers

diff --git a/src/check_headers b/src/check_headers
index a60a931517261ed6d78da2fc4cdea9dace2b7c28..2167f80c906cd1bad672d0fa7a28865492fa4209 100755 (executable)
--- a/src/check_headers
+++ b/src/check_headers
@@ -8,8 +8,10 @@ cd "$(dirname "$0")" || exit $?
 regexp="$(cat ../config.h.in | \
        sed -n -e 's/^#undef \([A-Z0-9_]*\)$/\1/p' | \
        grep -v 'WORDS_BIGENDIAN' | \
+       grep -v '__LIBVLC__' | \
        xargs | \
-       sed -e 's/ /\\\|/g')"
+    sed -e 's/ /\\\(\\s\\\|$\\\)\\\| /g')"
+regexp=" $regexp\$"
 
 echo Looking for private defines in public headers...
 ! grep -- "$regexp" "$@" || exit $?