diff options
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 52aa99c..a92c5be 100644 --- a/Makefile.am +++ b/Makefile.am @@ -18,5 +18,5 @@ apns-conf.xml: $(top_srcdir)/apns-conf.xsl $(top_srcdir)/$(SP_XML_DB) pkgdata_DATA = apns-conf.xml check-local: - xmllint --valid $(top_srcdir)/$(SP_XML_DB) 2>&1 > /dev/null || exit 1; - + grep '^[\t ]* <' serviceproviders.xml && exit 1 || : + xmllint --valid $(top_srcdir)/$(SP_XML_DB) 2>&1 >/dev/null |