diff options
| author | root <siehputz@gmail.com> | 2020-07-21 10:11:08 -0500 |
|---|---|---|
| committer | root <siehputz@gmail.com> | 2020-07-21 10:11:08 -0500 |
| commit | 49decf90c940f2e9810abcf40939db33a5803ab0 (patch) | |
| tree | 51c2a1641376ce3f6f79899a6a22b19fc5beab61 /ports/esp32s2/Makefile | |
| parent | ac5ad030f46937781a1e0377cfee29ad184f98ea (diff) | |
Add option for higher optimization levels
Diffstat (limited to 'ports/esp32s2/Makefile')
| -rw-r--r-- | ports/esp32s2/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/esp32s2/Makefile b/ports/esp32s2/Makefile index 29abcab8e..ec6a8fc0c 100644 --- a/ports/esp32s2/Makefile +++ b/ports/esp32s2/Makefile @@ -109,6 +109,10 @@ else ### CFLAGS += -flto endif +ifdef OPTIMIZATION_LEVEL +CFLAGS += -O$(OPTIMIZATION_LEVEL) +endif + CFLAGS += $(INC) -Werror -Wall -mlongcalls -std=gnu11 -Wl,--gc-sections $(BASE_CFLAGS) $(C_DEFS) $(CFLAGS_MOD) $(COPT) LDFLAGS = $(CFLAGS) -Wl,-nostdlib -Wl,-Map=$@.map -Wl,-cref |