Update pipol scripts

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

diff --git a/buildtools/pipol/liste_install.sh b/buildtools/pipol/liste_install.sh
index 396b7a2..163b057 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
@@ -68,6 +68,7 @@ which_wget=`which wget`               #wget for cmake
 which_dot=`which dot`          #dot for cgraph
 which_perl=`which perl`                #perl
 which_f2c=`which f2c`          #f2c
+which_gcov=`which gcov`     #gcov
 echo $which_cmake
 echo $which_unzip
 echo $which_ruby
@@ -80,4 +81,5 @@ echo $which_svn
 echo $which_dot
 echo $which_wget
 echo $which_perl
-echo $which_f2c
\ No newline at end of file
+echo $which_f2c
+echo $which_gcov
\ No newline at end of file