alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

This should finally fix kv.test and dotty.test on the LIP6 buildfarm.

Browse source 
* 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.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-10 12:34:39 +01:00
parent e6be19cdf7
commit 0385f5b6c7
3 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -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.

2
iface/nips/nipstest/dotty.test
View file

@ -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

2
src/tgbatest/kv.test
View file

@ -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
}