diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2020-08-27 13:34:37 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2020-08-27 13:34:37 -0700 |
| commit | 5d8ac0428b239be2b0487a2da2d2192aa7ed8725 (patch) | |
| tree | 91df057a03d37bd10db366de05bf620fe380aa4d | |
| parent | 2b71635c4978a337542292cfc78460440d59338d (diff) | |
-Os espruino_pico to save space
| -rw-r--r-- | ports/stm/boards/espruino_pico/mpconfigboard.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/stm/boards/espruino_pico/mpconfigboard.mk b/ports/stm/boards/espruino_pico/mpconfigboard.mk index b1b023dd5..556ff35c4 100644 --- a/ports/stm/boards/espruino_pico/mpconfigboard.mk +++ b/ports/stm/boards/espruino_pico/mpconfigboard.mk @@ -9,6 +9,8 @@ MCU_SERIES = F4 MCU_VARIANT = STM32F401xE MCU_PACKAGE = UFQFPN48 +OPTIMIZATION_FLAGS = -Os + LD_COMMON = boards/common_default.ld # use for internal flash LD_FILE = boards/STM32F401xd_fs.ld |