diff options
| -rwxr-xr-x | ports/stm/Makefile | 4 | ||||
| m--------- | ports/stm/st_driver | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ports/stm/Makefile b/ports/stm/Makefile index 08cb36ddf..a982de765 100755 --- a/ports/stm/Makefile +++ b/ports/stm/Makefile @@ -81,12 +81,12 @@ INC += -I../../supervisor/shared/usb #Debugging/Optimization ifeq ($(DEBUG), 1) - CFLAGS += -ggdb + CFLAGS += -ggdb3 # You may want to enable these flags to make setting breakpoints easier. CFLAGS += -fno-inline -fno-ipa-sra else CFLAGS += -Os -DNDEBUG - CFLAGS += -ggdb + CFLAGS += -ggdb3 # TODO: Test with -flto # CFLAGS += -flto endif diff --git a/ports/stm/st_driver b/ports/stm/st_driver -Subproject 3fc2e0f3db155b33177bb0705e0dd65cadb5841 +Subproject 1900834751fd6754457874b8c971690bab33e0a |