Increase GCC optimisation level to Os (optimise for size).

microbit-carlos · microbit-carlos · commit 103e9e25a4af · 2023-03-20T14:07:57.000Z
diff --git a/records/tools/make_gcc_arm.yaml b/records/tools/make_gcc_arm.yaml
@@ -15,7 +15,7 @@ tool_specific:
                 - c
                 - nosys
             common_flags:
-                - -O0
+                - -Os
                 - -Wall
                 - -ffunction-sections
                 - -fdata-sections
