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

Update gcc.py

pull/11254/head
jh228 2019-08-19 15:09:04 +09:00 committed by GitHub
parent 71466f8111
commit f3885fd89a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/toolchains/gcc.py
View File

@ -247,7 +247,7 @@ class GCC(mbedToolchain):
if mem_map:
preproc_output = join(dirname(output), ".link_script.ld")
cmd = (
self.preproc + [mem_map] + self.ld[1:] + ["-o", preproc_output]
self.preproc + [mem_map] + self.ld[1:] + ["-o", preproc_output] +
self.get_compile_options(self.get_symbols(), [])
)
self.notify.cc_verbose("Preproc: %s" % ' '.join(cmd))