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 /stubdom/Makefile | |
| 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>
Diffstat (limited to 'stubdom/Makefile')
| -rw-r--r-- | stubdom/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |