From 802754c60a8c6c8962345b8fe77c2625eaf4f49a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 23 Oct 2009 14:32:39 +0200
Subject: [PATCH] * src/tgbatest/kv.test: Don't run valgrind on dot!

---
 ChangeLog            | 4 ++++
 src/tgbatest/kv.test | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 959125bd0..be018aac8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2009-10-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/kv.test: Don't run valgrind on dot!
+
 2009-10-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Escape labels in -KV output.
diff --git a/src/tgbatest/kv.test b/src/tgbatest/kv.test
index 1cee58cdf..57f3874b6 100755
--- a/src/tgbatest/kv.test
+++ b/src/tgbatest/kv.test
@@ -26,7 +26,7 @@ set -e
 check ()
 {
   run 0 ../ltl2tgba -f -KV "$1" > out.dot
-  run 0 $DOT out.dot > /dev/null
+  $DOT out.dot > /dev/null
   rm -f out.dot
 }