Fix script for pipol.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9244 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/pipol/liste_install.sh b/buildtools/pipol/liste_install.sh
index 396b7a2..0051957 100644 (file)
--- 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