Fix Xen dependencies and always rebuild arch/x86/setup.o rather than
common/kernel.o (boot banner was moved out to arch-specific).
signed-off-by: keir.fraser@cl.cam.ac.uk
$(MAKE) -C drivers
$(MAKE) -C arch/$(TARGET_ARCH)
-# Blow away kernel.o because build info is stored statically within it.
delete-unfresh-files:
- rm -f include/xen/banner.h include/xen/compile.h common/kernel.o
+ rm -f include/xen/banner.h include/xen/compile.h
+ $(MAKE) -C arch/$(TARGET_ARCH) delete-unfresh-files
# compile.h contains dynamic build info. Rebuilt on every 'make' invocation.
include/xen/compile.h: LANG=C
HDRS += $(wildcard $(BASEDIR)/include/asm-$(TARGET_ARCH)/*.h)
HDRS += $(wildcard $(BASEDIR)/include/asm-$(TARGET_ARCH)/$(TARGET_SUBARCH)/*.h)
# compile.h is always regenerated, but other files shouldn't be rebuilt
+HDRS := $(subst $(BASEDIR)/include/xen/banner.h,,$(HDRS))
HDRS := $(subst $(BASEDIR)/include/xen/compile.h,,$(HDRS))
C_SRCS := $(wildcard *.c)
rm -f x86_32/*.o x86_32/*~ x86_32/core
rm -f x86_64/*.o x86_64/*~ x86_64/core
-.PHONY: default clean
+# setup.o contains bits of compile.h so it must be blown away
+delete-unfresh-files:
+ rm -f setup.o
+
+.PHONY: default clean delete-unfresh-files