summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBjörn Mattsson <bjorn@sunet.se>2023-10-19 16:10:39 +0200
committerBjörn Mattsson <bjorn@sunet.se>2023-10-19 16:10:39 +0200
commit8cb549e65a96a0de0297a36a1a56ae42c3b223fb (patch)
treebeadb5de254f625d70b7e03164785d7f5c423487 /Makefile
parentaf3487b9c4a9b630d88b55c2bcc4bedf257cab4a (diff)
Fixed tagname and test in Makefileconf-2023-10-19-v01
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9d5b87a..82ce33f 100644
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,7 @@ update: update-git
update-git:
git checkout master && git reset --hard && git pull
+test: schematest
schematest:
@fail=false ; for x in $(MXML); do test=`xmllint --xinclude --nowarning --noout --path schema --schema schema.xsd $$x 2>&1`; rc=$$?; echo $$test | sed 's/fails to validate/&/;s/validates/&/'; if [ $$rc -gt 0 ]; then fail=true ; fi; done ; if $$fail ; then exit 1 ; fi