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

Prevent "Image: None" in log

pull/9738/head
Jimmy Brisson 2019-03-01 09:02:33 -06:00
parent 98a7bfcdcc
commit 7a55bc7b0c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/toolchains/__init__.py
View File

@ -681,8 +681,8 @@ class mbedToolchain:
filename = "{}_application.{}".format(name, ext)
else:
filename = "{}.{}".format(name, ext)
full_path = join(tmp_path, filename)
if ext != 'elf':
full_path = join(tmp_path, filename)
if full_path and self.need_update(full_path, [elf]):
self.progress("elf2bin", name)
self.binary(r, elf, full_path)
@ -691,7 +691,6 @@ class mbedToolchain:
else:
updatable = None
else:
full_path = None
updatable = None
if self._post_build_hook: