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

ARMC6: Enable link-time optimizer for release profile

pull/11874/head
Filip Jagodzinski 2019-11-14 14:40:59 +01:00 committed by Maciej Bocianski
parent f73a62afbf
commit 0780f89011
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/profiles/release.json
View File

@ -15,7 +15,7 @@
"-Wl,-n"]
},
"ARMC6": {
"common": ["-c", "--target=arm-arm-none-eabi", "-mthumb", "-Oz",
"common": ["-c", "--target=arm-arm-none-eabi", "-mthumb", "-Oz", "-flto",
"-Wno-armcc-pragma-push-pop", "-Wno-armcc-pragma-anon-unions",
"-Wno-reserved-user-defined-literal", "-Wno-deprecated-register",
"-DMULADDC_CANNOT_USE_R7", "-fdata-sections",
@ -25,7 +25,7 @@
"c": ["-D__ASSERT_MSG", "-std=gnu11"],
"cxx": ["-fno-rtti", "-std=gnu++14"],
"ld": ["--show_full_path", "--legacyalign", "--any_contingency",
"--keep=os_cb_sections"]
"--keep=os_cb_sections", "--lto", "--lto_level=Oz"]
},
"ARM": {
"common": ["-c", "--gnu", "-Ospace", "--split_sections",