mirror of https://github.com/ARMmbed/mbed-os.git
Modified 'apt-get update' to loop until successful
parent
bc4dea2b1c
commit
fa6c689b7f
|
|
@ -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