mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #53 from bridadan/circle-gcc-4_9
Make CircleCI install GCC ARM 4.9 instead of 5.x or 6.x
commit
28334b00bb
|
@ -15,6 +15,6 @@ dependencies:
|
|||
- cd ../testproject && git init
|
||||
- sudo add-apt-repository -y ppa:team-gcc-arm-embedded/ppa
|
||||
- sudo apt-get -y update
|
||||
- sudo apt-get -y install gcc-arm-embedded
|
||||
- sudo apt-get -y install gcc-arm-embedded=4.9-2015-q3-update
|
||||
override:
|
||||
- cd ../testproject/mbed-os && pip install -r requirements.txt
|
Loading…
Reference in New Issue