mirror of https://github.com/ARMmbed/mbed-os.git
Incorporated the review comment
parent
e5c6254372
commit
504ef7e7e1
|
@ -261,11 +261,11 @@ def main():
|
|||
library_build_success = True
|
||||
except ToolException as e:
|
||||
# ToolException output is handled by the build log
|
||||
print("ERROR: " + str(e))
|
||||
print("[ERROR] " + str(e))
|
||||
pass
|
||||
except NotSupportedException as e:
|
||||
# NotSupportedException is handled by the build log
|
||||
print("ERROR: " + str(e))
|
||||
print("[ERROR] " + str(e))
|
||||
pass
|
||||
except Exception as e:
|
||||
if options.verbose:
|
||||
|
|
Loading…
Reference in New Issue