projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make the program report query execution time and query serialization time.
[tatoo.git]
/
tools
/
gen_test.sh
diff --git
a/tools/gen_test.sh
b/tools/gen_test.sh
index
b55a701
..
1c9ce12
100755
(executable)
--- a/
tools/gen_test.sh
+++ b/
tools/gen_test.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".xml
+ java -cp _build/tools XPathEval "$FILE" "$q" > "$RESULTS"/"$qname".xml
2> "$RESULTS"/"$qname".log
done
done