diff --git a/workspace_tools/toolchains/arm.py b/workspace_tools/toolchains/arm.py index ae040adb78..55cde033a7 100644 --- a/workspace_tools/toolchains/arm.py +++ b/workspace_tools/toolchains/arm.py @@ -25,7 +25,7 @@ class ARM(mbedToolchain): common = [join(ARM_BIN, "armcc"), "-c", "--cpu=%s" % cpu, "--gnu", - "-O0", "--split_sections", "--apcs=interwork", + "-Ospace", "--split_sections", "--apcs=interwork", "--brief_diagnostics", "--restrict" ]