diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-25 10:06:53 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-25 10:06:53 +0100 |
commit | ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b (patch) | |
tree | 105eeb219cd46f5b61ff1672500903f98c7d0aee | |
parent | 2406df9ada241a374d1182eef7bd385a77f551ea (diff) | |
download | xen-ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b.tar.gz xen-ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b.tar.bz2 xen-ee7be8aa51e43c1ac0212f9f2c30282b1b7b002b.zip |
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>
-rw-r--r-- | .hgignore | 1 | ||||
-rw-r--r-- | stubdom/Makefile | 3 |
2 files changed, 3 insertions, 1 deletions
@@ -91,6 +91,7 @@ ^stubdom/libxc$ ^stubdom/lwip-.*$ ^stubdom/mini-os-.*$ +^stubdom/mk-headers$ ^stubdom/newlib-.*$ ^stubdom/pciutils-.*$ ^stubdom/zlib-.*$ diff --git a/stubdom/Makefile b/stubdom/Makefile index 4f4240cfd5..9206f28ade 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -154,7 +154,6 @@ lwip: lwip-$(LWIP_VERSION).tar.gz .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 && \ @@ -191,6 +190,7 @@ endif [ ! -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-%: @@ -328,6 +328,7 @@ crossclean: clean 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 |