mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #6434 from cmonr/correct-apt-get-retrying
Modified apt-get retry logic with Travis CI retry featurepull/6448/head
commit
0a0cc58934
|
|
@ -40,7 +40,7 @@ before_install:
|
|||
# Setup ppa to make sure arm-none-eabi-gcc is correct version
|
||||
- sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
|
||||
# Loop until update succeeds (timeouts can occur)
|
||||
- while [ -n "$(sudo apt-get update 2>&1 |grep Failed)" ]; do :; done
|
||||
- travis_retry $(! sudo apt-get update 2>&1 |grep Failed)
|
||||
|
||||
after_success:
|
||||
- bash -c "$STATUS" success "Local $NAME testing has passed"
|
||||
|
|
|
|||
Loading…
Reference in New Issue