Skip to contentSkip to conversation

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

PATCH New Samuel Thibault 1 participant 1 message Jul 25, 2008

lore
Share & tools
lore

Samuel Thibault

author
#0 lore raw

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

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 <[email protected]>
stubdom/Makefile +2 -1
diff -r 8760b973e800 stubdom/Makefile
@@ -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