From 468a32ea6ed39f7ec398efbbe1643cbc77c29e9c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 26 Jan 2004 08:37:58 +0000
Subject: [PATCH] * src/tgbatest/defs.in (run): Use libtool --mode=execute.

---
 ChangeLog            | 4 ++++
 src/tgbatest/defs.in | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 6e381848a..30d4f2b89 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-01-26  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/defs.in (run): Use libtool --mode=execute.
+
 2004-01-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Merge transitions
diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in
index bddc8792d..0ae03df41 100644
--- a/src/tgbatest/defs.in
+++ b/src/tgbatest/defs.in
@@ -59,6 +59,7 @@ run()
   if test -n "$VALGRIND"; then
     exec 6>valgrind.err
     GLIBCPP_FORCE_NEW=1 \
+    ../../libtool --mode=execute \
     $VALGRIND --leak-check=yes --logfile-fd=6 -q "$@" || exitcode=$?
     cat valgrind.err 1>&2
     test -z "`sed 1q valgrind.err`" || exit 50