diff options
| -rw-r--r-- | extras/mini-os/minios.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 48ed768cd3..f42f48bbdc 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -20,8 +20,8 @@ DEF_CFLAGS += -g #DEF_CFLAGS += -DMM_DEBUG #DEF_CFLAGS += -DFS_DEBUG #DEF_CFLAGS += -DLIBC_DEBUG -DEF_CFLAGS += -DGNT_DEBUG -DEF_CFLAGS += -DGNTMAP_DEBUG +#DEF_CFLAGS += -DGNT_DEBUG +#DEF_CFLAGS += -DGNTMAP_DEBUG else DEF_CFLAGS += -O3 endif |