Fix another script.

[simgrid.git] / buildtools / pipol / liste_install.sh

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
     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
        sudo apt-get -y install valgrind
     fi
 else