X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tools%2Fgen_test_results.sh;h=b3d79e06c5d2f0d2f42e0aaf4077da20b27e590b;hp=925c1ce5136f8876d9982fbe59607dedd3795f1c;hb=8c060c29b8d82c703065395349782b93fe7a9fd8;hpb=6733babef61a4e4dc18eca834577b6359f0a1345

diff --git a/tools/gen_test_results.sh b/tools/gen_test_results.sh
index 925c1ce..b3d79e0 100755
--- a/tools/gen_test_results.sh
+++ b/tools/gen_test_results.sh
@@ -13,15 +13,18 @@ do
             for p in $PROGS
             do
                 echo "$p":
-                cat "$doc".results/"$qname"_"$p".log | grep --color=never time
+                cat "$doc".results/"$qname"_"$p".log | grep --color=never 'INFO\|time'
                 N="$N_$p"
                 D="$D $doc".results/"$qname"_"$p".xml
             done
+
             echo -n "Diff ... "
-            ./xml_diff.native $D > "$doc".results/"$qname""$N".diff 2>&1
+            DIFFILE="$doc".results/"$qname"_"$N".diff
+            ./tools/xml_diff.native $D > "$DIFFILE" 2>&1
             case "$?" in
                 "0")
                     echo "ok"
+                    rm -f "$DIFFILE"
                     ;;
                 *)
                     echo "failed"