From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 15 Mar 2013 17:47:34 +0000 (+0100)
Subject: Modify the testing scripts.
X-Git-Tag: v0.1~115
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=093ee02461021a7ff142d092820f9822305302e4

Modify the testing scripts.
---

diff --git a/tools/do_tatoo.sh b/tools/do_tatoo.sh
index d1eea03..a8c95c9 100755
--- a/tools/do_tatoo.sh
+++ b/tools/do_tatoo.sh
@@ -24,7 +24,7 @@ then
    exit 1
 fi
 
-
+echo "Testing version: $VERSION"
 mkdir -p "$RESULTS"
 
 cat "$QUERIES" | grep -v '^#' | while read qname q
diff --git a/tools/gen_test_results.sh b/tools/gen_test_results.sh
index 925c1ce..0710e81 100755
--- a/tools/gen_test_results.sh
+++ b/tools/gen_test_results.sh
@@ -17,11 +17,13 @@ do
                 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
             case "$?" in
                 "0")
                     echo "ok"
+
                     ;;
                 *)
                     echo "failed"