Fix build system to rebuild file containing banner text every time.
Signed-off-by: keir.fraser@cl.cam.ac.uk
$(MAKE) -C drivers
$(MAKE) -C arch/$(TARGET_ARCH)
+# drivers/char/console.o may contain static banner/compile info. Blow it away.
delete-unfresh-files:
- rm -f include/xen/banner.h include/xen/compile.h
+ rm -f include/xen/banner.h include/xen/compile.h drivers/char/console.o
$(MAKE) -C arch/$(TARGET_ARCH) delete-unfresh-files
# compile.h contains dynamic build info. Rebuilt on every 'make' invocation.
rm -f x86_64/*.o x86_64/*~ x86_64/core
rm -f mtrr/*.o mtrr/*~ mtrr/core
-# setup.o contains bits of compile.h so it must be blown away
delete-unfresh-files:
- rm -f setup.o
+ # nothing
.PHONY: default clean delete-unfresh-files