X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ab41f91a04562e6395567717a8938bc391c98924..9b7b5757973c632702a546fea8456694b4e701e2:/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