mirror of https://github.com/ARMmbed/mbed-os.git
commit
4cfddd6f3e
|
@ -28,10 +28,10 @@ script:
|
||||||
- python tools/project.py -S
|
- python tools/project.py -S
|
||||||
- python tools/build_travis.py
|
- python tools/build_travis.py
|
||||||
before_install:
|
before_install:
|
||||||
- sudo add-apt-repository -y ppa:terry.guo/gcc-arm-embedded
|
- sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
|
||||||
- sudo add-apt-repository -y ppa:libreoffice/libreoffice-4-2
|
- sudo add-apt-repository -y ppa:libreoffice/libreoffice-4-2
|
||||||
- sudo apt-get update -qq
|
- sudo apt-get update -qq
|
||||||
- sudo apt-get install -qq gcc-arm-none-eabi doxygen --force-yes
|
- sudo apt-get install -qq gcc-arm-embedded doxygen --force-yes
|
||||||
# Print versions we use
|
# Print versions we use
|
||||||
- arm-none-eabi-gcc --version
|
- arm-none-eabi-gcc --version
|
||||||
- python --version
|
- python --version
|
||||||
|
|
Loading…
Reference in New Issue