reverting settings.py to original state

workspace_tools/settings.py

@@ -1,13 +1,10 @@
 """
 mbed SDK
 Copyright (c) 2011-2013 ARM Limited
-
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at
-
     http://www.apache.org/licenses/LICENSE-2.0
-
 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,
 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
@@ -39,7 +36,7 @@ if armcc == "keil":
     ARM_LIB = join(ARM_PATH, "RV31", "LIB")
 
 elif armcc == "standalone":
-    ARM_PATH = "C:/arm-gnu-toolchain"
+    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")
@@ -54,7 +51,7 @@ ARM_CPPLIB = join(ARM_LIB, "cpplib")
 MY_ARM_CLIB = join(ARM_PATH, "lib", "microlib")
 
 # GCC ARM
-GCC_ARM_PATH = "C:/Program Files/ARM/armcc_4.1_791"
+GCC_ARM_PATH = ""
 
 # GCC CodeSourcery
 GCC_CS_PATH = "C:/Program Files (x86)/CodeSourcery/Sourcery_CodeBench_Lite_for_ARM_EABI/bin"