diff options
Diffstat (limited to 'scripts/up-down-protocol-samples/Makefile')
| -rw-r--r-- | scripts/up-down-protocol-samples/Makefile | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/up-down-protocol-samples/Makefile b/scripts/up-down-protocol-samples/Makefile index eedc1c03..2fbc209a 100644 --- a/scripts/up-down-protocol-samples/Makefile +++ b/scripts/up-down-protocol-samples/Makefile @@ -1,6 +1,11 @@ XMLLINT = xmllint --noout --relaxng JING = java -jar /usr/local/share/java/classes/jing.jar +SCHEMA = ../up-down-schema.rng -all: - ${JING} ../up-down-schema.rng *.xml - ${XMLLINT} ../up-down-schema.rng *.xml +all: jing xmllint + +jing: + ${JING} ${SCHEMA} *.xml + +xmllint: + ${XMLLINT} ${SCHEMA} *.xml |