Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix script for pipol.
authornavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 15 Dec 2010 13:06:36 +0000 (13:06 +0000)
committernavarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Wed, 15 Dec 2010 13:06:36 +0000 (13:06 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9244 48e7efb5-ca39-0410-a469-dd3cf9ba447f

buildtools/pipol/liste_install.sh

index 396b7a2..0051957 100644 (file)
@@ -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