diff options
Diffstat (limited to 'rpkid.without_tls/tests/up-down-protocol-samples/Makefile')
| -rw-r--r-- | rpkid.without_tls/tests/up-down-protocol-samples/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/rpkid.without_tls/tests/up-down-protocol-samples/Makefile b/rpkid.without_tls/tests/up-down-protocol-samples/Makefile deleted file mode 100644 index 10ee791a..00000000 --- a/rpkid.without_tls/tests/up-down-protocol-samples/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -XMLLINT = xmllint --noout --relaxng -JING = java -jar /usr/local/share/java/classes/jing.jar -SCHEMA = ../up-down-medium-schema.rng - -all: jing xmllint - -jing: - ${JING} ${SCHEMA} *.xml - -xmllint: - ${XMLLINT} ${SCHEMA} *.xml |