From 1b21c0b45981cfe56777075e51268eed0371bbf2 Mon Sep 17 00:00:00 2001 From: Daniel De Graaf Date: Thu, 1 Mar 2012 15:22:09 +0000 Subject: build: remove hypervisor-only configuration from tools/configure When adding autoconf support, the configuration options for XSM and FLASK_ENABLE were incorrectly removed from Config.mk and added to the tools configuration. Since these are hypervisor configuration options, they should not depend on running tools configuration. Signed-off-by: Daniel De Graaf Acked-by: Ian Jackson Committed-by: Ian Jackson --- config/Tools.mk.in | 4 ---- 1 file changed, 4 deletions(-) (limited to 'config') diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 06d5e8974b..315ced4945 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -24,10 +24,6 @@ PREPEND_LIB := @PREPEND_LIB@ APPEND_INCLUDES := @APPEND_INCLUDES@ APPEND_LIB := @APPEND_LIB@ -# Enable XSM security module (by default, Flask). -XSM_ENABLE := @xsm@ -FLASK_ENABLE := @xsm@ - # Download GIT repositories via HTTP or GIT's own protocol? # GIT's protocol is faster and more robust, when it works at all (firewalls # may block it). We make it the default, but if your GIT repository downloads -- cgit v1.2.3