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"
-    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