diff options
Diffstat (limited to 'extras/mini-os/Config.mk')
| -rw-r--r-- | extras/mini-os/Config.mk | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/extras/mini-os/Config.mk b/extras/mini-os/Config.mk index 1eb68d2f4b..15f7ed832c 100644 --- a/extras/mini-os/Config.mk +++ b/extras/mini-os/Config.mk @@ -41,10 +41,7 @@ include $(MINI-OS_ROOT)/$(TARGET_ARCH_DIR)/arch.mk extra_incl := $(foreach dir,$(EXTRA_INC),-I$(MINI-OS_ROOT)/include/$(dir)) DEF_CPPFLAGS += -I$(MINI-OS_ROOT)/include - -ifeq ($(stubdom),y) -DEF_CPPFLAGS += -DCONFIG_STUBDOM -endif +DEF_CPPFLAGS += -D__MINIOS__ ifeq ($(libc),y) DEF_CPPFLAGS += -DHAVE_LIBC |