diff options
| -rwxr-xr-x | tools/ci/scripts/init.sh | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 73c7aba..a5b352f 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -57,18 +57,23 @@ function aptget_install { then return fi - echo "apt-get -y -qq install $*" - apt-get -y -qq install $* + echo "apt-get -y -qq install aptitude" + apt-get -y -qq install aptitude + echo "aptitude update" + aptitude update + + echo "aptitude -y install $*" + aptitude -y install $* if [ "$?" != 0 ]; then sleep 1s - apt-get -y -qq install $* + aptitude -y install $* if [ "$?" != 0 ]; then sleep 2s if [ "$?" != 0 ]; then sleep 5s - apt-get -y -qq install $* + aptitude -y install $* fi - apt-get -y -qq install $* + aptitude -y install $* fi fi } |