Ignore apt-get issues

[simgrid.git] / buildtools / scripts / make_dist.sh

diff --git a/buildtools/scripts/make_dist.sh b/buildtools/scripts/make_dist.sh
index 967b079..50c4cf2 100755 (executable)
--- a/buildtools/scripts/make_dist.sh
+++ b/buildtools/scripts/make_dist.sh
@@ -12,7 +12,7 @@ fi
 
 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
+  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