diff options
| author | kaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk> | 2004-01-25 03:00:54 +0000 |
|---|---|---|
| committer | kaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk> | 2004-01-25 03:00:54 +0000 |
| commit | b88b24c645cf013a9dad3f70ba4ef23369ad1191 (patch) | |
| tree | eb4850a31db982eb5e506deae46198843e81846a /extras/mini-os/Makefile | |
| parent | 586dfe5b407d4feecd8407a70492ad813aaac2d2 (diff) | |
| download | xen-b88b24c645cf013a9dad3f70ba4ef23369ad1191.tar.gz xen-b88b24c645cf013a9dad3f70ba4ef23369ad1191.tar.bz2 xen-b88b24c645cf013a9dad3f70ba4ef23369ad1191.zip | |
bitkeeper revision 1.694 (40133166fMqipwBHlUP1QVHEO6EEOg)
Many files:
From Kip Macy, we now are stricter when compiling the mini os.
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index c0b977080b..2e4d08e9d0 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -1,17 +1,24 @@ CC := gcc LD := ld + # Linker should relocate monitor to this address MONITOR_BASE := 0xE0100000 -CFLAGS := -fno-builtin -O3 -Wall -Ih/ + +# 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. +CFLAGS := -fno-builtin -O3 -Wall -Ih/ -Wredundant-decls +CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline -ansi TARGET := mini-os -LOBJS:= lib/malloc.o lib/math.o lib/printf.o lib/string.o -OBJS := entry.o kernel.o traps.o hypervisor.o mm.o events.o time.o ${LOBJS} +LOBJS := lib/malloc.o lib/math.o lib/printf.o lib/string.o +OBJS := entry.o kernel.o traps.o hypervisor.o mm.o events.o time.o ${LOBJS} HINTF := h/hypervisor-ifs/hypervisor-if.h -HDRS := h/os.h h/types.h h/hypervisor.h h/mm.h h/events.h h/time.h h/lib.h $(HINTF) +HDRS := h/os.h h/types.h h/hypervisor.h h/mm.h h/events.h h/time.h h/lib.h +HDRS += $(HINTF) default: $(TARGET) |