diff options
Diffstat (limited to 'myrpki.rototill/Makefile')
| -rw-r--r-- | myrpki.rototill/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/myrpki.rototill/Makefile b/myrpki.rototill/Makefile index a8306e30..12c7e940 100644 --- a/myrpki.rototill/Makefile +++ b/myrpki.rototill/Makefile @@ -2,6 +2,9 @@ all: myrpki.rng +relaxng: myrpki.rng + xmllint --noout --relaxng myrpki.rng `find test -type f -name '*.xml'` + lint: myrpki.xml myrpki.rng xmllint --noout --relaxng myrpki.rng myrpki.xml @@ -29,5 +32,5 @@ backup: tar cvvzf test.$$(TZ='' date +%Y.%m.%d.%H.%M.%S).tgz screenlog.* test backup.*.sql rm backup.*.sql -test: all - python yamltest.py +test: myrpki.rng + MYRPKI_RNG=`pwd`/myrpki.rng python yamltest.py |