Clone of official tools
Diff: settings.py
- Revision:
- 20:835f6355470d
- Parent:
- 13:ab47a20b66f0
- Child:
- 22:9e85236d8716
--- a/settings.py Fri Jul 15 13:11:30 2016 +0100 +++ b/settings.py Fri Jul 15 15:28:09 2016 +0100 @@ -77,17 +77,6 @@ ############################################################################## -# ARM Compiler Paths -############################################################################## - -ARM_BIN = join(ARM_PATH, "bin") -ARM_INC = join(ARM_PATH, "include") -ARM_LIB = join(ARM_PATH, "lib") -ARM_CPPLIB = join(ARM_LIB, "cpplib") -MY_ARM_CLIB = join(ARM_LIB, "lib", "microlib") - - -############################################################################## # Test System Settings ############################################################################## SERVER_PORT = 59432