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
Cruz Monrreal 2019-02-25 17:50:51 -06:00 committed by GitHub
parent da3eb5df47
commit 22674a694d
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

@ -276,7 +276,7 @@ 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.name is not None: if toolchain.config.name:
name = toolchain.config.name name = toolchain.config.name
files, exporter = generate_project_files(resources, export_path, files, exporter = generate_project_files(resources, export_path,