From cba8ef5dab0b5d510ffc904715e74b2b7b78e3c2 Mon Sep 17 00:00:00 2001 From: Dmitry Bogdanov Date: Fri, 8 May 2015 20:46:42 +0400 Subject: [PATCH] revert change in workspace_tools/settings.py --- workspace_tools/settings.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/workspace_tools/settings.py b/workspace_tools/settings.py index cd0b83a7ff..3444f86ff0 100644 --- a/workspace_tools/settings.py +++ b/workspace_tools/settings.py @@ -39,7 +39,7 @@ if armcc == "keil": ARM_LIB = join(ARM_PATH, "RV31", "LIB") elif armcc == "standalone": - ARM_PATH = "/" + ARM_PATH = "C:/Program Files/ARM/armcc_4.1_791" ARM_BIN = join(ARM_PATH, "bin") ARM_INC = join(ARM_PATH, "include") ARM_LIB = join(ARM_PATH, "lib")