diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 3ac76e6b43..df6270c352 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -13,7 +13,6 @@ SUBDIRS-y += hotplug SUBDIRS-y += xentrace SUBDIRS-$(CONFIG_XCUTILS) += xcutils SUBDIRS-$(CONFIG_X86) += firmware -SUBDIRS-$(ACM_SECURITY) += security SUBDIRS-y += console SUBDIRS-y += xenmon SUBDIRS-$(VTPM_TOOLS) += vtpm_manager |