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 #8932 from orenc17/tools_fix 

Fix target handling in build.py
pull/8947/head
Cruz Monrreal 2018-12-03 21:14:32 -06:00 committed by GitHub
parent 3d6dd46948 4514da6db3
commit 6749a8a321
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/build.py
View File

@ -188,7 +188,7 @@ if __name__ == '__main__':
mcu = TARGET_MAP[target]
profile = extract_profile(parser, options, toolchain)
if Target.get_target(mcu).is_PSA_secure_target:
if mcu.is_PSA_secure_target:
lib_build_res = build_library(
ROOT, options.build_dir, mcu, toolchain,
jobs=options.jobs,