Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Apply artifact_name configuration parameter to exported projects #9817

Merged
merged 4 commits into from Mar 1, 2019
Merged

Apply artifact_name configuration parameter to exported projects #9817

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
056b88a
Pull in artifact-name for exported projects
kegilbert Feb 22, 2019
c0fbe95
Update tools/export/__init__.py
theotherjimmy Feb 25, 2019
da3eb5d
Update tools/export/__init__.py
theotherjimmy Feb 25, 2019
22674a6
Update tools/export/__init__.py
Feb 25, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
3 changes: 3 additions & 0 deletions tools/export/__init__.py
View file
Open in desktop
Expand Up @@ -276,6 +276,9 @@ def export_project(src_paths, export_path, target, ide, libraries_paths=None,
if linker_script is not None:
resources.linker_script = linker_script

if toolchain.config.name:
name = toolchain.config.name

files, exporter = generate_project_files(resources, export_path,
target, name, toolchain, ide,
macros=macros)
Expand Down