diff options
Diffstat (limited to 'scripts/up-down-protocol-samples/Makefile')
| -rw-r--r-- | scripts/up-down-protocol-samples/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/up-down-protocol-samples/Makefile b/scripts/up-down-protocol-samples/Makefile index 64340098..10ee791a 100644 --- a/scripts/up-down-protocol-samples/Makefile +++ b/scripts/up-down-protocol-samples/Makefile @@ -1,6 +1,6 @@ XMLLINT = xmllint --noout --relaxng JING = java -jar /usr/local/share/java/classes/jing.jar -SCHEMA = ../up-down-tighter-schema.rng +SCHEMA = ../up-down-medium-schema.rng all: jing xmllint |