From 5d8ac0428b239be2b0487a2da2d2192aa7ed8725 Mon Sep 17 00:00:00 2001
From: Scott Shawcroft <scott@tannewt.org>
Date: Thu, 27 Aug 2020 13:34:37 -0700
Subject: [PATCH] -Os espruino_pico to save space

---
 ports/stm/boards/espruino_pico/mpconfigboard.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ports/stm/boards/espruino_pico/mpconfigboard.mk b/ports/stm/boards/espruino_pico/mpconfigboard.mk
index b1b023dd58..556ff35c45 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