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

Merge pull request #168 from bridadan/fix-binary-naming 

Fixing issue with binary name.
Martin Kojtal 2016-06-01 09:13:06 +01:00
parent 834fc28bdb a333ec8ef0
commit d3dbfd2602
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/build_api.py
View File

@ -97,7 +97,8 @@ def build_project(src_path, build_path, target, toolchain_name,
# multiple compilations and linking with the same objects # multiple compilations and linking with the same objects
src_paths = [src_paths[0]] + list(set(src_paths[1:])) src_paths = [src_paths[0]] + list(set(src_paths[1:]))
first_src_path = src_paths[0] if src_paths[0] != "." and src_paths[0] != "./" else getcwd() first_src_path = src_paths[0] if src_paths[0] != "." and src_paths[0] != "./" else getcwd()
project_name = basename(normpath(first_src_path)) abs_path = abspath(first_src_path)
project_name = basename(normpath(abs_path))
if name is None: if name is None:
# We will use default project name based on project folder name # We will use default project name based on project folder name