X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/73192e6c92f4e28f3bf5455752996e27205fe813..54d499c29a89a5f913cca4988668e2410918e527:/buildtools/pipol/liste_install.sh diff --git a/buildtools/pipol/liste_install.sh b/buildtools/pipol/liste_install.sh index 396b7a22a5..0051957f82 100644 --- a/buildtools/pipol/liste_install.sh +++ b/buildtools/pipol/liste_install.sh @@ -17,7 +17,7 @@ if [ -e /usr/bin/apt-get ] ; then sudo apt-get -y install graphviz-dev graphviz sudo apt-get -y install libpcre3-dev sudo apt-get -y install f2c - if [ x$PIPOL_IMAGE = xi386-linux-ubuntu-karmic.dd.gz ] + if [ x$PIPOL_IMAGE = xi386-linux-ubuntu-karmic.dd.gz ] ; then sudo apt-get -y install valgrind fi else