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

Pull in artifact-name for exported projects

pull/9817/head
kegilbert 2019-02-22 14:53:42 -06:00
parent 2ecb0a5031
commit 056b88ad0e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/export/__init__.py
View File

@ -276,6 +276,9 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
if linker_script is not None: if linker_script is not None:
resources.linker_script = linker_script resources.linker_script = linker_script
if toolchain.config.app_config_data['artifact_name'] is not None:
name = toolchain.config.app_config_data['artifact_name']
files, exporter = generate_project_files(resources, export_path, files, exporter = generate_project_files(resources, export_path,
target, name, toolchain, ide, target, name, toolchain, ide,
macros=macros) macros=macros)