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

Apply suggestions from code review 

Co-Authored-By: theotherjimmy <theotherjimmy@gmail.com>
pull/10257/head
Brian Daniels 2019-03-28 17:25:04 -05:00 committed by GitHub
parent 0bfbd09de3
commit 63ea3ebe00
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/build_release.py
View File

@ -130,7 +130,7 @@ if __name__ == '__main__':
for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD: for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD:
toolchains = None toolchains = None
if platforms is not None and target_name not in platforms: if platforms is not None and target_name not in platforms:
print(("Excluding %s from release" % target_name)) print("Excluding {} from release".format(target_name))
continue continue
if target_name not in TARGET_NAMES: if target_name not in TARGET_NAMES:
@ -187,7 +187,7 @@ if __name__ == '__main__':
else: else:
for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD: for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD:
if platforms is not None and target_name not in platforms: if platforms is not None and target_name not in platforms:
print(("Excluding %s from release" % target_name)) print("Excluding {} from release".format(target_name))
continue continue
if target_name not in TARGET_NAMES: if target_name not in TARGET_NAMES: