Update mpconfigboard.mk

wizhannah · wizhannah · commit 40570c781770 · 2025-09-03T18:22:55.000+09:00
diff --git a/ports/raspberrypi/boards/wiznet_w55rp20_evb_pico/mpconfigboard.mk b/ports/raspberrypi/boards/wiznet_w55rp20_evb_pico/mpconfigboard.mk
@@ -13,4 +13,4 @@ CIRCUITPY__EVE = 1
 CIRCUITPY_SSL = 1
 CIRCUITPY_USB_HOST = 0
 
-OPTIMIZATION_FLAGS = -O3
+OPTIMIZATION_FLAGS = -Os
diff --git a/ports/raspberrypi/boards/wiznet_w6300_evb_pico2/mpconfigboard.mk b/ports/raspberrypi/boards/wiznet_w6300_evb_pico2/mpconfigboard.mk
@@ -13,3 +13,5 @@ CIRCUITPY_WIZNET_W6300 = 1
 CIRCUITPY__EVE = 1
 CIRCUITPY_SSL = 1
 CIRCUITPY_USB_HOST = 0
+
+OPTIMIZATION_FLAGS = -Os
