Enable check_headers

diff --git a/src/Makefile.am b/src/Makefile.am
index 020a9b38f480cec2d867f76d9deceb74de4ea5a5..de41e13f7a7c72cef970aff5938e7518a09847b5 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -514,8 +514,7 @@ check-local:
                fi ; \
        done
        $(srcdir)/check_headers $(pkginclude_HEADERS)
-# Hmm, this test should not fail:
-       -$(srcdir)/check_headers $(pluginsinclude_HEADERS)
+       $(srcdir)/check_headers $(pluginsinclude_HEADERS)
 
 FORCE:
        @echo "Generated source cannot be phony. Go away." >&2