summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ab41f91)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9244
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
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