Be more verbose

diff --git a/src/check_headers b/src/check_headers
index 71c0fe0b3358b346871c9a7836e795c2124a0106..d0937b4d160f3309575b8a31357d881d69555e3a 100755 (executable)
--- a/src/check_headers
+++ b/src/check_headers
@@ -10,5 +10,6 @@ regexp="$(cat ../config.h.in | \
        xargs | \
        sed -e 's/ /\\\|/g')"
 
-! grep -- "$regexp" "$@"
-
+echo Looking for private defines in public headers...
+! grep -- "$regexp" "$@" || exit $?
+echo "None found."