diff options
| -rw-r--r-- | ports/unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile index 60e37ade0..f829838ab 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -44,7 +44,7 @@ CFLAGS += $(INC) $(CWARN) -std=gnu99 -DUNIX $(CFLAGS_MOD) $(COPT) -I$(VARIANT_DI # Debugging/Optimization ifdef DEBUG -COPT ?= -O0 +COPT ?= -Og else COPT ?= -Os COPT += -DNDEBUG |