mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #6126 from cmonr/travis-timeout-fix
Modified 'apt-get update' to loop until successfulpull/6145/head
commit
6d374c61ac
|
@ -30,7 +30,8 @@ before_install:
|
|||
- sudo ln -s $HOME/.cache/apt /var/cache/apt/archives
|
||||
# Setup ppa to make sure arm-none-eabi-gcc is correct version
|
||||
- sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
|
||||
- sudo apt-get update -qq
|
||||
# Loop until update succeeds (timeouts can occur)
|
||||
- while [ -n "$(sudo apt-get update 2>&1 |grep Failed)" ]; do :; done
|
||||
|
||||
after_success:
|
||||
- bash -c "$STATUS" success "Local $NAME testing has passed"
|
||||
|
|
Loading…
Reference in New Issue