From 6dfa92154b2fd9e77929a7da49a888c530584865 Mon Sep 17 00:00:00 2001
From: Michael Keller <github@ike.ch>
Date: Fri, 30 Dec 2016 13:58:23 +1300
Subject: [PATCH] Changed default 'GCC_REQUIRED_VERSION' to only be assigned if
 not overriden.

---
 make/tools.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/tools.mk b/make/tools.mk
index 1e4323c11..810716a57 100644
--- a/make/tools.mk
+++ b/make/tools.mk
@@ -16,7 +16,7 @@
 # Set up ARM (STM32) SDK
 ARM_SDK_DIR := $(TOOLS_DIR)/gcc-arm-none-eabi-5_4-2016q3
 # Checked below, Should match the output of $(shell arm-none-eabi-gcc -dumpversion)
-GCC_REQUIRED_VERSION := 5.4.1
+GCC_REQUIRED_VERSION ?= 5.4.1
 
 ## arm_sdk_install   : Install Arm SDK
 .PHONY: arm_sdk_install