diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index f7e17ca2..60deeb3c 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -16,8 +16,7 @@ all:: up-down-schema.rng up-down-schema.rng: up-down-schema.rnc trang up-down-schema.rnc up-down-schema.rng -test:: all - python xml-parse-test.py +#test:: all ; python xml-parse-test.py dont-run-trang: touch *.rng @@ -50,5 +49,4 @@ rpki/relaxng.py: left-right-schema.rng up-down-schema.rng make-relaxng.py python make-relaxng.py >$@.tmp mv $@.tmp $@ -test:: - sh -x testroot.sh run +test:: all ; sh -x testroot.sh run |