diff options
Diffstat (limited to 'tools/misc/Makefile')
| -rw-r--r-- | tools/misc/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index 9c69e0d0f2..2bb3710092 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -15,7 +15,6 @@ TARGETS-$(CONFIG_MIGRATE) += xen-hptool TARGETS := $(TARGETS-y) SUBDIRS-$(CONFIG_LOMOUNT) += lomount -SUBDIRS-$(CONFIG_MINITERM) += miniterm SUBDIRS := $(SUBDIRS-y) INSTALL_BIN-y := xencons xencov_split |