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

project - zip and src check if empty fix 

Regression from #2179. Fixes #2184.
pull/2187/head
0xc0170 2016-07-18 15:45:18 +01:00
parent 3ea625c8eb
commit bf2ad16c69
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/project.py
View File

@ -136,8 +136,8 @@ if __name__ == '__main__':
p, src, ide = options.program, options.source_dir, options.ide
project_dir, project_name, project_temp = setup_project(mcu, ide, p, src, options.build)
zip = src is [] # create zip when no src_dir provided
clean = src is [] # don't clean when source is provided, use acrual source tree for IDE files
zip = not bool(src) # create zip when no src_dir provided
clean = not bool(src) # don't clean when source is provided, use acrual source tree for IDE files
# Export to selected toolchain
lib_symbols = get_lib_symbols(options.macros, src, p)