[PATCH] stubdom: avoid re-making mk-headers and thus newlib etc.

[PATCH] stubdom: avoid re-making mk-headers and thus newlib etc.

[Samuel Thibault]

stubdom: avoid re-making mk-headers and thus newlib etc.

Using a stamp file for mk-headers permits to avoid to re-run newlib
configuration etc.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff -r 8760b973e800 stubdom/Makefile
--- a/stubdom/Makefile	Fri Jul 25 09:44:48 2008 +0100
+++ b/stubdom/Makefile	Fri Jul 25 09:57:20 2008 +0100
@@ -155,7 +155,6 @@
 .PHONY: $(CROSS_ROOT)
 $(CROSS_ROOT): cross-newlib cross-zlib cross-libpci
 
-.PHONY: mk-headers
 mk-headers:
 	mkdir -p include/xen && \
           ln -sf $(addprefix ../../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) include/xen && \
@@ -192,6 +191,7 @@
 	[ ! -h ioemu/config-host.h ] || rm -f ioemu/config-host.h
 	[ ! -h ioemu/config-host.mak ] || rm -f ioemu/config-host.mak
 	$(MAKE) -C $(MINI_OS) links
+	touch mk-headers
 
 TARGETS_MINIOS=$(addprefix mini-os-,$(TARGETS))
 $(TARGETS_MINIOS): mini-os-%:
@@ -329,6 +329,7 @@
 	rm -fr $(CROSS_ROOT)
 	rm -fr newlib-build
 	rm -fr zlib-$(ZLIB_VERSION) pciutils-$(LIBPCI_VERSION)
+	rm -f mk-headers
 
 # clean patched sources
 .PHONY: patchclean