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

Throw exception if in verbose mode

pull/160/head
Emilio Monti 2014-02-07 12:06:48 +00:00
parent f597baf35b
commit acdd9db330
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace_tools/make.py
View File

@ -190,4 +190,8 @@ if __name__ == '__main__':
except KeyboardInterrupt, e: except KeyboardInterrupt, e:
print "\n[CTRL+c] exit" print "\n[CTRL+c] exit"
except Exception,e: except Exception,e:
if options.verbose:
import traceback
traceback.print_exc(file=sys.stdout)
else:
print "[ERROR] %s" % str(e) print "[ERROR] %s" % str(e)