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 #8276 from theotherjimmy/consistant-file-notify 

tools: Make "file" key in notifications consistant
pull/7948/head
Cruz Monrreal 2018-10-08 10:22:04 -05:00 committed by GitHub
parent 5102610f11 6282b5f0c4
commit 342d087d47
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/toolchains/__init__.py
View File

@ -420,7 +420,7 @@ class mbedToolchain:
self.compiled += 1
self.progress("compile", item['source'].name, build_update=True)
for res in result['results']:
self.notify.cc_verbose("Compile: %s" % ' '.join(res['command']), result['source'])
self.notify.cc_verbose("Compile: %s" % ' '.join(res['command']), result['source'].name)
self.compile_output([
res['code'],
res['output'],
@ -458,7 +458,7 @@ class mbedToolchain:
self.compiled += 1
self.progress("compile", result['source'].name, build_update=True)
for res in result['results']:
self.notify.cc_verbose("Compile: %s" % ' '.join(res['command']), result['source'])
self.notify.cc_verbose("Compile: %s" % ' '.join(res['command']), result['source'].name)
self.compile_output([
res['code'],
res['output'],