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

Merge pull request #2333 from bridadan/build-library-clean 

Adding clean support back to build_library
pull/2331/merge
Sam Grove 2016-08-02 18:58:40 -05:00 committed by GitHub
parent 8c3c98b644 6df903f8a6
commit d83157a6fa
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/build_api.py
View File

@ -411,6 +411,12 @@ def build_library(src_paths, build_path, target, toolchain_name,
else: else:
tmp_path = build_path tmp_path = build_path
# Clean the build directory
if clean:
if exists(tmp_path):
rmtree(tmp_path)
mkdir(tmp_path)
# Pass all params to the unified prepare_toolchain() # Pass all params to the unified prepare_toolchain()
toolchain = prepare_toolchain(src_paths, target, toolchain_name, toolchain = prepare_toolchain(src_paths, target, toolchain_name,
macros=macros, options=options, clean=clean, jobs=jobs, macros=macros, options=options, clean=clean, jobs=jobs,