Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update valgrind on debian to avoid warning: unused-but-set-variable
authorNavarrop <Pierre.Navarro@imag.fr>
Wed, 28 Sep 2011 09:12:01 +0000 (11:12 +0200)
committerNavarrop <Pierre.Navarro@imag.fr>
Wed, 28 Sep 2011 09:12:01 +0000 (11:12 +0200)
buildtools/pipol/rc.debian

index 0314dd5..9d13301 100644 (file)
@@ -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 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
 
 which_svn=`which svn`          #svn necessary
 which_gcc=`which gcc`          #gcc gcc necessary