diff options
Diffstat (limited to 'tools/misc')
-rw-r--r-- | tools/misc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index 834ffe7f80..2e763cc429 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -22,8 +22,8 @@ INSTALL_BIN-y := xencons xenpvnetboot INSTALL_BIN-$(CONFIG_X86) += xen-detect INSTALL_BIN := $(INSTALL_BIN-y) -INSTALL_SBIN-y := xm xen-bugtool xen-python-path xend xenperf xsview xenpm xen-tmem-list-parse gtraceview gtracestat xenlockprof xenwatchdogd xen-ringwatch xen-lowmemd -INSTALL_SBIN-$(CONFIG_X86) += xen-hvmctx xen-hvmcrash +INSTALL_SBIN-y := xm xen-bugtool xen-python-path xend xenperf xsview xenpm xen-tmem-list-parse gtraceview gtracestat xenlockprof xenwatchdogd xen-ringwatch +INSTALL_SBIN-$(CONFIG_X86) += xen-hvmctx xen-hvmcrash xen-lowmemd INSTALL_SBIN-$(CONFIG_MIGRATE) += xen-hptool INSTALL_SBIN := $(INSTALL_SBIN-y) |