From d02b7193c157b61ddeabae55718793c078d73961 Mon Sep 17 00:00:00 2001
From: Cedric Bastoul <cedric.bastoul@unistra.fr>
Date: Wed, 15 Jan 2014 18:26:22 +0100
Subject: [PATCH] Use the wrapper script for the valgrind check

---
 test/checker.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/test/checker.sh b/test/checker.sh
index 72da5f1..bcc9928 100755
--- a/test/checker.sh
+++ b/test/checker.sh
@@ -112,9 +112,8 @@ for x in $TEST_FILES; do
     elif [ "$TEST_TYPE" = "valgrind" ]; then
 	echo "generating... \c";
 #	valgrind --leak-check=full --error-exitcode=1 \
-	valgrind --error-exitcode=1 \
-                 $top_builddir/.libs/cloog$EXEEXT $options -q $input \
-		 > /dev/null 2> cloog_temp;
+	libtool --mode=execute valgrind --error-exitcode=1 \
+                 $cloog $options -q $input > /dev/null 2> cloog_temp;
 	errors=$?;
 	leaks=`grep "in use at exit" cloog_temp | cut -f 2 -d ':'`
 	if [ "$errors" = "1" ]; then
-- 
2.11.4.GIT