diff --git a/ChangeLog b/ChangeLog index 31b1172bf..484f4a44f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2006-01-03 Alexandre Duret-Lutz + + * src/tgbatest/defs.in (VALGRIND): Use --log-fd instead of + --logfile-fd to please newer versions of Valgrind. + * src/ltltest/defs.in, src/evtgbatest/defs.in: Likewise. + 2005-09-29 Alexandre Duret-Lutz * src/ltlparse/ltlparse.yy (result): Do not assign to $$, it's useless. diff --git a/src/evtgbatest/defs.in b/src/evtgbatest/defs.in index 106f785bb..b809e9e3e 100644 --- a/src/evtgbatest/defs.in +++ b/src/evtgbatest/defs.in @@ -1,5 +1,5 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), # département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # @@ -60,7 +60,7 @@ run() exec 6>valgrind.err GLIBCPP_FORCE_NEW=1 \ ../../libtool --mode=execute \ - $VALGRIND --tool=memcheck --leak-check=yes --logfile-fd=6 -q "$@" || + $VALGRIND --tool=memcheck --leak-check=yes --log-fd=6 -q "$@" || exitcode=$? cat valgrind.err 1>&2 test -z "`sed 1q valgrind.err`" || exit 50 diff --git a/src/ltltest/defs.in b/src/ltltest/defs.in index aac032f47..e9f01fef5 100644 --- a/src/ltltest/defs.in +++ b/src/ltltest/defs.in @@ -1,5 +1,5 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), # département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # @@ -56,7 +56,7 @@ run() if test -n "$VALGRIND"; then exec 6>valgrind.err GLIBCPP_FORCE_NEW=1 \ - $VALGRIND --tool=memcheck --leak-check=yes --logfile-fd=6 -q "$@" || + $VALGRIND --tool=memcheck --leak-check=yes --log-fd=6 -q "$@" || exitcode=$? cat valgrind.err 1>&2 test -z "`sed 1q valgrind.err`" || exit 50 diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in index 106f785bb..b809e9e3e 100644 --- a/src/tgbatest/defs.in +++ b/src/tgbatest/defs.in @@ -1,5 +1,5 @@ # -*- shell-script -*- -# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6), # département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # @@ -60,7 +60,7 @@ run() exec 6>valgrind.err GLIBCPP_FORCE_NEW=1 \ ../../libtool --mode=execute \ - $VALGRIND --tool=memcheck --leak-check=yes --logfile-fd=6 -q "$@" || + $VALGRIND --tool=memcheck --leak-check=yes --log-fd=6 -q "$@" || exitcode=$? cat valgrind.err 1>&2 test -z "`sed 1q valgrind.err`" || exit 50