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

Correct rename mistake in make arm compiler exporters

pull/5093/head
Jimmy Brisson 2017-09-14 09:14:47 -05:00
parent 3e1b96d899
commit 8db0fa9819
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/export/makefile/__init__.py
View File

@ -225,7 +225,7 @@ class Arm(Makefile):
def generate(self):
if self.resources.linker_script:
new_script = self.toolchain.make_real_scatter(
new_script = self.toolchain.correct_scatter_shebang(
self.resources.linker_script)
if new_script is not self.resources.linker_script:
self.resources.linker_script = new_script