[Pkg-xen-devel] Do we have one make more than necessary?

[Guido Trotter]

Hi, I was noticing that our debian/rules did:

...
debian/stamps/build:
        mkdir -p $(@D)
        rm -rf debian/install
        $(MAKE) all DESTDIR=$(CURDIR)/debian/install KERNELS= GCC=$(CC) CC=$(CC) HOSTCC=$(CC)
        touch $@

install: debian/stamps/build
        rm -rf debian/install
        $(MAKE) dist DESTDIR=$(CURDIR)/debian/install KERNELS= XEN_PYTHON_NATIVE_INSTALL=1 CC=$(CC) GCC=$(CC) HOSTCC=$(CC) XEN_CHANGESET=8743
ifeq ($(DEB_BUILD_ARCH),i386)
        $(MAKE) mrproper
        $(MAKE) xen DESTDIR=$(CURDIR)/debian/install KERNELS= GCC=$(CC) CC=$(CC) HOSTCC=$(CC) XEN_TARGET_X86_PAE=y TARGET=$(CURDIR)/xen/xen_pae XEN_CHANGESET=8743
endif
        $(MAKE) -C tools/examples install-udev DESTDIR=$(CURDIR)/debian/install
...


Doesn't then install make three times (one in its debian/stamps/build
dependency and the other two in install?) Aren't two of them sufficient (one
for everything and the other one just for the pae, on i386)

Thanks,

Guido