diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 9be3323d..8133d691 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -16,10 +16,6 @@ all:: up-down-schema.rng up-down-schema.rng: up-down-schema.rnc trang up-down-schema.rnc up-down-schema.rng -test:: relaxng - -#test:: all ; python xml-parse-test.py - dont-run-trang: touch *.rng @@ -29,6 +25,10 @@ relaxng: left-right-protocol-samples/.stamp left-right-schema.rng up-down-schema # all:: resource-cert-samples-regen +# test:: relaxng + +# test:: all ; python xml-parse-test.py + resource-cert-samples-regen: resource-cert-samples/.stamp cd resource-cert-samples && make |