diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-08-04 18:11:12 +0100 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-08-04 18:11:12 +0100 |
| commit | 86657fd99a099ac51b11ccc06f055ae8c5707669 (patch) | |
| tree | 1d5190cbf8dd4289029d5bbdbf1770a04e9ad59c /stubdom | |
| parent | 1883561885f1aded51e1bf475bfaaa889fda5513 (diff) | |
| download | xen-86657fd99a099ac51b11ccc06f055ae8c5707669.tar.gz xen-86657fd99a099ac51b11ccc06f055ae8c5707669.tar.bz2 xen-86657fd99a099ac51b11ccc06f055ae8c5707669.zip | |
stubdom: install stubdom kernels as data
since they do not need to be directly executed
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'stubdom')
| -rw-r--r-- | stubdom/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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 |