ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

[tools] update default build directory from .build to BUILD

pull/3287/head
Sam Grove 2016-11-18 00:03:55 -06:00
parent a6f5233f45
commit 91361ec39a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/settings.py
View File

@ -25,7 +25,7 @@ ROOT = abspath(join(dirname(__file__), ".."))
##############################################################################
# Toolchains and Build System Settings
##############################################################################
BUILD_DIR = abspath(join(ROOT, ".build"))
BUILD_DIR = abspath(join(ROOT, "BUILD"))
# ARM Compiler 5
ARM_PATH = "C:/Keil_v5/ARM/ARMCC"