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

Update tools/export/__init__.py 

Co-Authored-By: kegilbert <K.Gilbert.CH@gmail.com>
pull/9817/head
Jimmy Brisson 2019-02-25 13:57:26 -06:00 committed by GitHub
parent c0fbe95d54
commit da3eb5df47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/export/__init__.py
View File

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