X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tests%2Fxpathmark.sh;fp=tests%2Fxpathmark.sh;h=0000000000000000000000000000000000000000;hb=ea776e2c87cb6731378f1a5922c2efe916fcca53;hp=f10054ee86838cab1d7cd2f60e0940dc382e86dd;hpb=7b4efbdf1b9e4e972f2b1d3c3c5c69235f7a964a;p=SXSI%2Fxpathcomp.git

diff --git a/tests/xpathmark.sh b/tests/xpathmark.sh
deleted file mode 100755
index f10054e..0000000
--- a/tests/xpathmark.sh
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/bin/sh
-
-DISPLAY=0
-case "$1" in
-    [A-Z])
-	SERIE="$1";;
-    [A-Z][0-9]*)
-	DISPLAY=1
-	SERIE="$1";;
-    *)
-	SERIE="";;
-esac
-
-
-for i in xpath-pt/xpath/$SERIE*
-do
-querybase=`basename "$i" .xpl`
-query=`cat $i`
-
-xqueryorig="xpath-pt/xquery/$querybase".xql
-cat $xqueryorig | sed -e "s/doc()/doc(\"XMark_1.04.xml\")/g" >tmp.xql
-../main XMark_1.04.srx  "$query" results/"$querybase".sxsi 
-saxonb-xquery -o:results/"$querybase".saxon tmp.xql 
-echo >> results/"$querybase".saxon
-diff -w results/"$querybase".sxsi results/"$querybase".saxon >/dev/null || echo $querybase gives different results
-done
-
-if [ "$DISPLAY" = "1" ]
-then 
-./show.sh "$SERIE"
-fi
-