diff options
Diffstat (limited to 'extras/mini-os/minios.mk')
-rw-r--r-- | extras/mini-os/minios.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index b7b7db8f2a..7ee19b3a86 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -21,6 +21,7 @@ DEF_CFLAGS += -g #DEF_CFLAGS += -DFS_DEBUG #DEF_CFLAGS += -DLIBC_DEBUG DEF_CFLAGS += -DGNT_DEBUG +DEF_CFLAGS += -DGNTMAP_DEBUG else DEF_CFLAGS += -O3 endif |