scripts/dev/ci/install: Retry apt-get if it fails

This commit is contained in:
Florian Bruhin 2016-04-05 12:43:51 +02:00
parent 860853f66f
commit fb741582ef

View File

@ -69,7 +69,13 @@ def folded_cmd(argv):
def apt_get(args): def apt_get(args):
folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args) try:
folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args)
except subprocess.CalledProcessError:
print()
print("apt-get failed... trying a second time!")
print()
folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args)
def brew(args): def brew(args):