diff options
Diffstat (limited to 'stubdom')
-rw-r--r-- | stubdom/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index 969a61b567..50ba3602c2 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -386,7 +386,8 @@ install-readme: install-ioemu: ioemu-stubdom $(INSTALL_DIR) "$(DESTDIR)$(LIBEXEC)" - $(INSTALL_PROG) stubdompath.sh stubdom-dm "$(DESTDIR)$(LIBEXEC)" + $(INSTALL_PROG) stubdom-dm "$(DESTDIR)$(LIBEXEC)" + $(INSTALL_DATA) stubdompath.sh "$(DESTDIR)$(LIBEXEC)" $(INSTALL_DIR) "$(DESTDIR)$(XENFIRMWAREDIR)" $(INSTALL_DATA) mini-os-$(XEN_TARGET_ARCH)-ioemu/mini-os.gz "$(DESTDIR)$(XENFIRMWAREDIR)/ioemu-stubdom.gz" |