mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #2604 from tung7970/fix-tools
Tools - Fix fill section size variationpull/2661/merge
commit
e9d0fbd178
|
|
@ -954,6 +954,7 @@ class mbedToolchain:
|
|||
bin = join(tmp_path, filename)
|
||||
map = join(tmp_path, name + '.map')
|
||||
|
||||
r.objects = sorted(set(r.objects))
|
||||
if self.need_update(elf, r.objects + r.libraries + [r.linker_script]):
|
||||
needed_update = True
|
||||
self.progress("link", name)
|
||||
|
|
|
|||
Loading…
Reference in New Issue