From 1e34af2b15d534893147a05804c18e3010161739 Mon Sep 17 00:00:00 2001
From: Brian Daniels <brianddaniels@gmail.com>
Date: Mon, 18 Apr 2016 15:13:06 -0500
Subject: [PATCH] Make CircleCI install GCC ARM 4.9 instead of 5.x or 6.x

---
 circle.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/circle.yml b/circle.yml
index f470a07f24..699b134289 100644
--- a/circle.yml
+++ b/circle.yml
@@ -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
\ No newline at end of file