]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - Makefile
Documentation: Rewrap Banana Pi README to 80 chars
[jailhouse.git] / Makefile
index 987e0446a6255461faaf54dc2bde3e6cd15d7b0c..6d597af281d4a74c91e59cb38aa9ebe63464f382 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -58,7 +58,13 @@ modules_install: modules
 firmware_install: $(DESTDIR)$(firmwaredir) modules
        $(INSTALL_DATA) hypervisor/jailhouse*.bin $<
 
-install: modules_install firmware_install
+ifeq ($(ARCH),x86)
+TOOL_INMATES_INSTALL := tool_inmates_install
+tool_inmates_install: $(DESTDIR)$(libexecdir)/jailhouse
+       $(INSTALL_DATA) inmates/tools/$(ARCH)/*.bin $<
+endif
+
+install: modules_install firmware_install $(TOOL_INMATES_INSTALL)
        $(Q)$(MAKE) -C tools $@
 
 .PHONY: modules_install install clean firmware_install modules tools docs \