diff options
Diffstat (limited to 'sandbox/mallard/rng/Makefile')
-rw-r--r-- | sandbox/mallard/rng/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sandbox/mallard/rng/Makefile b/sandbox/mallard/rng/Makefile index 28cffd5..06b55d6 100644 --- a/sandbox/mallard/rng/Makefile +++ b/sandbox/mallard/rng/Makefile @@ -6,4 +6,5 @@ mallard.rnc: $(wildcard ../spec/*.xml) done > mallard.rnc mallard.rng: mallard.rnc rnc2rng.awk - awk -f rnc2rng.awk mallard.rnc | xmllint --format - > mallard.rng + awk -f rnc2rng.awk mallard.rnc > $@.tmp || ( rm -f $@.tmp && exit 1 ) + xmllint --format $@.tmp > $@ || ( rm -f $@.tmp && exit 1 ) |