X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/01dc7e145ae18ee678ac03beeed469cdcb5e5798..3ebf3e57d4c67aea514a515aa7ede30adeed347a:/buildtools/scripts/make_dist.sh

diff --git a/buildtools/scripts/make_dist.sh b/buildtools/scripts/make_dist.sh
index beb084f728..50c4cf2faf 100755
--- a/buildtools/scripts/make_dist.sh
+++ b/buildtools/scripts/make_dist.sh
@@ -10,8 +10,10 @@ else
   source ~/.simgrid_build.conf
 fi
 
-echo "get Linux dependencies"
-sudo aptitude install -y libtool automake1.10 autoconf libgcj10-dev gcc g++ bash flex flexml doxygen bibtex bibtool iconv bibtex2html addr2line valgrind transfig
+if [ ! -e /usr/bin/libtool ] || [ ! -e /usr/bin/automake ] || [ ! -e /usr/bin/flex ] ; then
+  echo "get Linux dependencies"
+  sudo aptitude install -y libtool automake1.10 autoconf libgcj10-dev gcc g++ bash flex flexml doxygen bibtex bibtool iconv bibtex2html addr2line valgrind transfig || true
+fi
 
 make_dist