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 #2187 from 0xc0170/fix_issue2184 

project - zip and src check if empty fix
pull/2175/head^2
Martin Kojtal 2016-07-19 07:43:55 +01:00 committed by GitHub
parent 3ea625c8eb bf2ad16c69
commit 9626ef3491
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 p, src, ide = options.program, options.source_dir, options.ide
project_dir, project_name, project_temp = setup_project(mcu, ide, p, src, options.build) project_dir, project_name, project_temp = setup_project(mcu, ide, p, src, options.build)
zip = src is [] # create zip when no src_dir provided zip = not bool(src) # create zip when no src_dir provided
clean = src is [] # don't clean when source is provided, use acrual source tree for IDE files clean = not bool(src) # don't clean when source is provided, use acrual source tree for IDE files
# Export to selected toolchain # Export to selected toolchain
lib_symbols = get_lib_symbols(options.macros, src, p) lib_symbols = get_lib_symbols(options.macros, src, p)