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

Restore verbose logging

pull/395/head
Mihail Stoyanov 2014-07-10 20:10:21 +03:00
parent fab45821a7
commit 853630792e
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
workspace_tools/toolchains/__init__.py
View File

@ -522,19 +522,19 @@ class mbedToolchain:
pending = 0 pending = 0
for r in results: for r in results:
if r._ready is True: if r._ready is True:
result = r.get()
results.remove(r)
objects.append(result['object'])
self.compiled += 1
self.progress("compile", result['source'], build_update=True)
try: try:
result = r.get()
results.remove(r)
self.compiled += 1
self.progress("compile", result['source'], build_update=True)
self.debug(result['command'])
self._compile_output([ self._compile_output([
result['code'], result['code'],
result['output'], result['output'],
result['command'] result['command']
]) ])
objects.append(result['object'])
except ToolException, err: except ToolException, err:
self.mp_pool.terminate() self.mp_pool.terminate()
raise ToolException(err) raise ToolException(err)