debuggers.hg
changeset 18269:477b6a32da4f
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>
since they do not need to be directly executed
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author | Keir Fraser <keir.fraser@citrix.com> |
---|---|
date | Mon Aug 04 18:11:12 2008 +0100 (2008-08-04) |
parents | 128af2e5bde2 |
children | 2e47722d3501 |
files | stubdom/Makefile |
line diff
1.1 --- a/stubdom/Makefile Mon Aug 04 18:10:51 2008 +0100 1.2 +++ b/stubdom/Makefile Mon Aug 04 18:11:12 2008 +0100 1.3 @@ -300,11 +300,11 @@ install-ioemu: ioemu-stubdom 1.4 $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/bin" 1.5 $(INSTALL_PROG) stubdom-dm "$(DESTDIR)/usr/lib/xen/bin" 1.6 $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/boot" 1.7 - $(INSTALL_PROG) mini-os-ioemu/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/ioemu-stubdom.gz" 1.8 + $(INSTALL_DATA) mini-os-ioemu/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/ioemu-stubdom.gz" 1.9 1.10 install-grub: pv-grub 1.11 $(INSTALL_DIR) "$(DESTDIR)/usr/lib/xen/boot" 1.12 - $(INSTALL_PROG) mini-os-grub/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/pv-grub.gz" 1.13 + $(INSTALL_DATA) mini-os-grub/mini-os.gz "$(DESTDIR)/usr/lib/xen/boot/pv-grub.gz" 1.14 1.15 ####### 1.16 # clean