From 3cf8bfbfb7409730e21ef67a444ebcc8afb7c231 Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Wed, 6 Jul 2016 12:51:14 -0500
Subject: [PATCH] Allow spaces in paths passed to mkdir and rm on bash

---
 tools/export/gcc_arm_common.tmpl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/export/gcc_arm_common.tmpl b/tools/export/gcc_arm_common.tmpl
index 7ae338913c..db5c9cb92a 100644
--- a/tools/export/gcc_arm_common.tmpl
+++ b/tools/export/gcc_arm_common.tmpl
@@ -6,8 +6,8 @@ ifeq ($(shell echo $$OS),$$OS)
     MAKEDIR = if not exist "$(1)" mkdir "$(1)"
     RM = rmdir /S /Q "$(1)"
 else
-    MAKEDIR = $(SHELL) -c "mkdir -p $(1)"
-    RM = $(SHELL) -c "rm -rf $(1)"
+    MAKEDIR = $(SHELL) -c "mkdir -p \"$(1)\""
+    RM = $(SHELL) -c "rm -rf \"$(1)\""
 endif
 
 ifeq (,$(filter .build,$(notdir $(CURDIR))))