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

Exporters - if source, generate to projectfiles/{{ide}} 

This allows to use multiple tools within a project, they don't affect
each other.

An example:
projectfiles/gcc_arm
projectfiles/uvision
projectfiles/iar
Martin Kojtal 2016-04-19 14:55:38 +01:00
parent 647cf23cf1
commit 80cecbfcfb
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/project.py
View File

@ -148,7 +148,7 @@ if __name__ == '__main__':
# --source is used to generate IDE files to toolchain directly in the source tree and doesn't generate zip file # --source is used to generate IDE files to toolchain directly in the source tree and doesn't generate zip file
project_dir = options.source_dir project_dir = options.source_dir
project_name = basename(project_dir) project_name = basename(project_dir)
project_temp = options.source_dir project_temp = path.join(options.source_dir, 'projectfiles', ide)
mkdir(project_temp) mkdir(project_temp)
lib_symbols = [] lib_symbols = []
if options.macros: if options.macros: