From 0385f5b6c7741fa4efd6384bcd66d5d65fa9e03d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 10 Feb 2011 12:34:39 +0100
Subject: [PATCH] This should finally fix kv.test and dotty.test on the LIP6
 buildfarm.

* src/tgbatest/kv.test, iface/nips/nipstest/dotty.test: Don't rely
on the ${DOT-...} syntax, because DOT is always set and might be
set to the empty value.
---
 ChangeLog                      | 8 ++++++++
 iface/nips/nipstest/dotty.test | 2 +-
 src/tgbatest/kv.test           | 2 +-
 3 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 1ad2d76ea..9fdaa5106 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2011-02-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	This should finally fix kv.test and dotty.test on the LIP6 buildfarm.
+
+	* src/tgbatest/kv.test, iface/nips/nipstest/dotty.test: Don't rely
+	on the ${DOT-...} syntax, because DOT is always set and might be
+	set to the empty value.
+
 2011-02-10  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* HACKING (Running coverage tests): New section.
diff --git a/iface/nips/nipstest/dotty.test b/iface/nips/nipstest/dotty.test
index 62ac35244..21e46b42a 100755
--- a/iface/nips/nipstest/dotty.test
+++ b/iface/nips/nipstest/dotty.test
@@ -26,6 +26,6 @@ set -e
 BYTECODE="never.pr.b regbit.b"
 for bytecode in $BYTECODE; do
     run 0 "$top_builddir/dottynips" "$srcdir/$bytecode" > dotty || exit 1
-    "${DOT-true}" -Tps dotty > /dev/null || exit 1
+    test -z "$DOT" || "$DOT" -Tps dotty > /dev/null || exit 1
     rm -f dotty
 done
diff --git a/src/tgbatest/kv.test b/src/tgbatest/kv.test
index 2d16484b5..e4a71a8f4 100755
--- a/src/tgbatest/kv.test
+++ b/src/tgbatest/kv.test
@@ -27,7 +27,7 @@ set -e
 check ()
 {
   run 0 ../ltl2tgba -f -KV "$1" > out.dot
-  "${DOT-true}" out.dot > /dev/null
+  test -z "$DOT" || "$DOT" out.dot > /dev/null
   rm -f out.dot
 }