Commit 52417520 authored by David BAELDE's avatar David BAELDE

efo-extra is the only extra that matters

parent 83be5dd1
......@@ -16,7 +16,7 @@ non-standard-xslt.xml: nonstandard.pl ../../benchmark/*-full.xml
./nonstandard.pl `grep 'type="xslt"' ../tex/benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\).*/\1/'` > non-standard-xslt.xml
%.reasons: %.xml
xmlstarlet sel -t -v '//xpath/schemas/validation[@valid="no" and contains(@schema, "1.0-core-extra")]/text()' -n $*.xml | sort | uniq -c > $*.reasons
xmlstarlet sel -t -v '//xpath/schemas/validation[@valid="no" and contains(@schema, "efo-extra")]/text()' -n $*.xml | sort | uniq -c > $*.reasons
non-standard-no-last-no-position-xslt.xml: non-standard-xslt.xml
echo "<?xml version=\"1.0\"?>" > $@
......
......@@ -443,7 +443,7 @@ foreach (@functions) {
$query = "$query)";
$nonstandardquery = "ast//xqx:functionName[$query]";
$inextras = 'schemas/validation[@schema=\'xpath-1.0-core-extra.rnc\' or @schema=\'xpath-efo-extra.rnc\' or @schema=\'xpath-1.0-vertical-extra.rnc\' or @schema=\'xpath-2.0-core-extra.rnc\' or @schema=\'xpath-emso2-extra.rnc\' or @schema=\'xpath-non-mixing-extra.rnc\' or @schema=\'xpath-1.0.forward-extra.rnc\'][@valid=\'yes\']';
$inextras = 'schemas/validation[@schema=\'xpath-efo-extra.rnc\'][@valid=\'yes\']';
$total=0;
for my $file (@files) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment