From 9b7b5757973c632702a546fea8456694b4e701e2 Mon Sep 17 00:00:00 2001
From: navarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 15 Dec 2010 13:06:36 +0000
Subject: [PATCH] Fix script for pipol.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9244 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 buildtools/pipol/liste_install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.20.1