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 #9589 from bridadan/fix_export_exception_msg 

Improve error message for exports for OS2-only targets
pull/9604/head
Martin Kojtal 2019-02-04 17:26:10 +01:00 committed by GitHub
parent dcba5ffa3c 8d900c77cf
commit 1c483e87b0
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/project.py
View File

@ -380,8 +380,8 @@ def main():
ignore=options.ignore ignore=options.ignore
) )
except NotSupportedException as exc: except NotSupportedException as exc:
args_error(parser, "%s not supported by %s" % (mcu, ide))
print("[Not Supported] %s" % str(exc)) print("[Not Supported] %s" % str(exc))
exit(1)
exit(0) exit(0)
if __name__ == "__main__": if __name__ == "__main__":