check_headers: fix the script (a partial match is not enough).

diff --git a/src/check_headers b/src/check_headers
index a60a931517261ed6d78da2fc4cdea9dace2b7c28..734ad1e248a4ecd167a115cf34a122db52a724df 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/ /\\\| /g' | sed -e 's/\\|/\$\\|/g')"
+regexp=" $regexp\$"
 
 echo Looking for private defines in public headers...
 ! grep -- "$regexp" "$@" || exit $?