diff options
Diffstat (limited to 'tools/misc/Makefile')
| -rw-r--r-- | tools/misc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index eef9411e1c..520ef809b2 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -18,7 +18,7 @@ SUBDIRS-$(CONFIG_LOMOUNT) += lomount SUBDIRS-$(CONFIG_MINITERM) += miniterm SUBDIRS := $(SUBDIRS-y) -INSTALL_BIN-y := xencons +INSTALL_BIN-y := xencons xencov_split INSTALL_BIN-$(CONFIG_X86) += xen-detect INSTALL_BIN := $(INSTALL_BIN-y) |