projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ajoute l'evaluation d'attributes
[tatoo.git]
/
tools
/
do_jaxp.sh
diff --git
a/tools/do_jaxp.sh
b/tools/do_jaxp.sh
index
7208ae1
..
c56141d
100755
(executable)
--- a/
tools/do_jaxp.sh
+++ b/
tools/do_jaxp.sh
@@
-21,5
+21,5
@@
mkdir -p "$RESULTS"
cat "$QUERIES" | grep -v '^#' | while read qname q
do
echo "Computing $q"
cat "$QUERIES" | grep -v '^#' | while read qname q
do
echo "Computing $q"
- java -cp
_build/
tools XPathEval "$FILE" "$q" > "$RESULTS"/"$qname"_jaxp.xml 2> "$RESULTS"/"$qname"_jaxp.log
+ java -cp tools XPathEval "$FILE" "$q" > "$RESULTS"/"$qname"_jaxp.xml 2> "$RESULTS"/"$qname"_jaxp.log
done
done