diff options
Diffstat (limited to 'extras/mini-os/minios.mk')
| -rw-r--r-- | extras/mini-os/minios.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 5f81bb7d77..fa6f6bd0c9 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -6,7 +6,7 @@ debug = y # Define some default flags. # NB. '-Wcast-qual' is nasty, so I omitted it. -DEF_CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format +DEF_CFLAGS += -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format DEF_CFLAGS += $(call cc-option,$(CC),-fno-stack-protector,) DEF_CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline DEF_CFLAGS += -D__XEN_INTERFACE_VERSION__=$(XEN_INTERFACE_VERSION) |