From: Keir Fraser Date: Mon, 4 Aug 2008 17:11:12 +0000 (+0100) Subject: stubdom: install stubdom kernels as data X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14165^2~24 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=86657fd99a099ac51b11ccc06f055ae8c5707669;p=xen.git stubdom: install stubdom kernels as data since they do not need to be directly executed Signed-off-by: Samuel Thibault --- diff --git a/stubdom/Makefile b/stubdom/Makefile index 0e775d5f75..efcd0f7f03 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -300,11 +300,11 @@ install-ioemu: ioemu-stubdom $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/bin" $(INSTALL_PROG) stubdom-dm "$(DESTDIR)/usr/lib/xen/bin" $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/boot" - $(INSTALL_PROG) mini-os-ioemu/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/ioemu-stubdom.gz" + $(INSTALL_DATA) mini-os-ioemu/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/ioemu-stubdom.gz" install-grub: pv-grub $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/boot" - $(INSTALL_PROG) mini-os-grub/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/pv-grub.gz" + $(INSTALL_DATA) mini-os-grub/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/pv-grub.gz" ####### # clean