diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 2e4d08e9d0..41d6785c00 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -5,9 +5,7 @@ LD := ld # Linker should relocate monitor to this address MONITOR_BASE := 0xE0100000 -# NB. '-Wstrict-prototypes -Wredundant-decls -Wpointer-arith -Winline -ansi' -# might all be okay to add to Xen. '-Wnested-externs' is a maybe. -# '-Wcast-qual' is evil. +# NB. '-Wcast-qual' is nasty, so I omitted it. CFLAGS := -fno-builtin -O3 -Wall -Ih/ -Wredundant-decls CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -ansi |