[Boards.txt] Set -Os as default flags optimize

fpistm · fpistm · commit 5b811b459872 · 2018-07-18T11:41:32.000+02:00
Signed-off-by: Frederic.Pillon &lt;frederic.pillon@st.com&gt;
diff --git a/platform.txt b/platform.txt
@@ -81,7 +81,7 @@ build.info.flags=-D{build.series} -DARDUINO={runtime.ide.version} -DARDUINO_{bui
 # Defaults config
 build.xSerial=-DHAL_UART_MODULE_ENABLED
 build.enable_usb=
-build.flags.optimize=
+build.flags.optimize=-Os
 build.flags.ldspecs=
 
 # Pre and post build hooks
