1.1 --- a/.hgignore	Fri Jul 25 09:49:06 2008 +0100
     1.2 +++ b/.hgignore	Fri Jul 25 10:06:53 2008 +0100
     1.3 @@ -91,6 +91,7 @@
     1.4  ^stubdom/libxc$
     1.5  ^stubdom/lwip-.*$
     1.6  ^stubdom/mini-os-.*$
     1.7 +^stubdom/mk-headers$
     1.8  ^stubdom/newlib-.*$
     1.9  ^stubdom/pciutils-.*$
    1.10  ^stubdom/zlib-.*$

     2.1 --- a/stubdom/Makefile	Fri Jul 25 09:49:06 2008 +0100
     2.2 +++ b/stubdom/Makefile	Fri Jul 25 10:06:53 2008 +0100
     2.3 @@ -154,7 +154,6 @@ lwip: lwip-$(LWIP_VERSION).tar.gz
     2.4  .PHONY: $(CROSS_ROOT)
     2.5  $(CROSS_ROOT): cross-newlib cross-zlib cross-libpci
     2.6  
     2.7 -.PHONY: mk-headers
     2.8  mk-headers:
     2.9  	mkdir -p include/xen && \
    2.10            ln -sf $(addprefix ../../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) include/xen && \
    2.11 @@ -191,6 +190,7 @@ endif
    2.12  	[ ! -h ioemu/config-host.h ] || rm -f ioemu/config-host.h
    2.13  	[ ! -h ioemu/config-host.mak ] || rm -f ioemu/config-host.mak
    2.14  	$(MAKE) -C $(MINI_OS) links
    2.15 +	touch mk-headers
    2.16  
    2.17  TARGETS_MINIOS=$(addprefix mini-os-,$(TARGETS))
    2.18  $(TARGETS_MINIOS): mini-os-%:
    2.19 @@ -328,6 +328,7 @@ crossclean: clean
    2.20  	rm -fr $(CROSS_ROOT)
    2.21  	rm -fr newlib-build
    2.22  	rm -fr zlib-$(ZLIB_VERSION) pciutils-$(LIBPCI_VERSION)
    2.23 +	rm -f mk-headers
    2.24  
    2.25  # clean patched sources
    2.26  .PHONY: patchclean