diff options
author | Ben Longbons <b.r.longbons@gmail.com> | 2014-07-22 22:44:11 -0700 |
---|---|---|
committer | Ben Longbons <b.r.longbons@gmail.com> | 2014-07-22 22:44:11 -0700 |
commit | 01620913c01d1db64bebf08156f68c4f998cc9fb (patch) | |
tree | 65857e01b42d44fa260af83e1f73db7acee40aa3 | |
parent | 095a51afe1cb8b619dc31c3941b29d8c0934568a (diff) | |
download | clientdata-01620913c01d1db64bebf08156f68c4f998cc9fb.tar.gz clientdata-01620913c01d1db64bebf08156f68c4f998cc9fb.tar.bz2 clientdata-01620913c01d1db64bebf08156f68c4f998cc9fb.tar.xz clientdata-01620913c01d1db64bebf08156f68c4f998cc9fb.zip |
Dump schema verification output in a nicer place
-rw-r--r-- | Makefile | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -8,15 +8,16 @@ check: XMLS = $(shell find -type f -name '*.xml') check: check-xml -check-xml: $(patsubst %.xml,%.xml.ok,${XMLS}) +check-xml: $(patsubst %.xml,out/%.xml.ok,${XMLS}) find -name '*.xml.ok' -delete find -name '*.xml.out' -delete -%.xml.ok: %.xml %.xml.out - diff $^ +out/%.xml.ok: %.xml out/%.xml.out + diff -u $^ touch $@ -%.xml.out: %.xml +out/%.xml.out: %.xml + mkdir -p ${@D} set -e -o pipefail; \ - xmllint --format --schema tools/tmw.xsd $< 2>&1 > $@ | grep -v 'Skipping import of schema' + xmllint --format --schema tools/tmw.xsd $< 2>&1 > $@ | grep -v 'Skipping import of schema' 1>&2 check: xsd xsd: |