From 865b5eee6a8b6855543acc94353ae57df11f265d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Fri, 15 Mar 2013 22:25:55 +0100
Subject: [PATCH] Rework the test script.

---
 .gitignore                | 4 ++--
 tools/gen_test_results.sh | 7 ++++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index b2e50f4..c365247 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,8 @@
 _build
 *.native
 *.byte
-tests/*.results/*
+tests/*.results/*_tatoo*
 *.class
 tests/trace/*.html
 tests/trace/*.dot
-tests/trace/*.svg
\ No newline at end of file
+tests/trace/*.svg
diff --git a/tools/gen_test_results.sh b/tools/gen_test_results.sh
index 0710e81..c837618 100755
--- a/tools/gen_test_results.sh
+++ b/tools/gen_test_results.sh
@@ -13,17 +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
+            ./xml_diff.native $D > "$DIFFILE" 2>&1
             case "$?" in
                 "0")
                     echo "ok"
-
+                    rm -f "$DIFFILE"
                     ;;
                 *)
                     echo "failed"
-- 
2.17.1