Makefile: add a hdr-check target

diff --git a/t/test-lib-functions.sh b/t/test-lib-functions.sh
index be8244c47b56611fe9abdddd2b539cf0cd95f1d0..d82fac9d790b9349df908f684e61a03780ac58c8 100644 (file)
--- a/t/test-lib-functions.sh
+++ b/t/test-lib-functions.sh
@@ -567,6 +567,14 @@ test_path_is_dir () {
        fi
 }
 
+test_path_exists () {
+       if ! test -e "$1"
+       then
+               echo "Path $1 doesn't exist. $2"
+               false
+       fi
+}
+
 # Check if the directory exists and is empty as expected, barf otherwise.
 test_dir_is_empty () {
        test_path_is_dir "$1" &&