Remove useless mouse buttons table

[vlc] / src / check_headers

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