From: Navarrop <Pierre.Navarro@imag.fr>
Date: Wed, 28 Sep 2011 09:12:01 +0000 (+0200)
Subject: Update valgrind on debian to avoid warning: unused-but-set-variable
X-Git-Tag: v3_6_2~36
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ea377238fd81b1aa5354a1892ac7cf24dd6d2522

Update valgrind on debian to avoid warning: unused-but-set-variable
---

diff --git a/buildtools/pipol/rc.debian b/buildtools/pipol/rc.debian
index 0314dd5055..9d13301d9f 100644
--- a/buildtools/pipol/rc.debian
+++ b/buildtools/pipol/rc.debian
@@ -8,6 +8,7 @@ sudo apt-get -y install libpcre3-dev
 sudo apt-get -y install openjdk-6-jdk
 sudo apt-get -y install gcc-4.6
 sudo apt-get -y install g++-4.6
+sudo apt-get -y install valgrind
 
 which_svn=`which svn`		#svn necessary
 which_gcc=`which gcc`		#gcc gcc necessary