From 7f6d74de46e8e7fe3eacabfd5342437b41d25f73 Mon Sep 17 00:00:00 2001
From: Sandeep Mistry <s.mistry@arduino.cc>
Date: Thu, 8 Mar 2018 10:54:20 -0500
Subject: [PATCH] Specify the ARM GCC version in platforms.txt

---
 platform.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform.txt b/platform.txt
index 4c596b104d..5126a6a28d 100644
--- a/platform.txt
+++ b/platform.txt
@@ -19,7 +19,7 @@ compiler.warning_flags.default=
 compiler.warning_flags.more=-Wall
 compiler.warning_flags.all=-Wall -Wextra
 
-compiler.path={runtime.tools.arm-none-eabi-gcc.path}/bin/
+compiler.path={runtime.tools.arm-none-eabi-gcc-6-2017-q2-update.path}/bin/
 
 compiler.S.cmd=arm-none-eabi-gcc
 compiler.c.cmd=arm-none-eabi-gcc