ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added missing bracket.

pull/6201/head
Cruz Monrreal II‰ 2018-02-16 19:47:01 -06:00 committed by Cruz Monrreal II
parent 2c1a79609c
commit ed6a8d8b7d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -31,7 +31,7 @@ before_install:
# Setup ppa to make sure arm-none-eabi-gcc is correct version # Setup ppa to make sure arm-none-eabi-gcc is correct version
- sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa - sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
# Loop until update succeeds (timeouts can occur) # Loop until update succeeds (timeouts can occur)
- while [ -n "$(sudo apt-get update 2>&1 |grep Failed)"; do :; done - while [ -n "$(sudo apt-get update 2>&1 |grep Failed)" ]; do :; done
after_success: after_success:
- bash -c "$STATUS" success "Local $NAME testing has passed" - bash -c "$STATUS" success "Local $NAME testing has passed"