diff options
author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-03-01 15:22:09 +0000 |
---|---|---|
committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-03-01 15:22:09 +0000 |
commit | 1b21c0b45981cfe56777075e51268eed0371bbf2 (patch) | |
tree | fa32885548e4e2e27588c164aae9eb8c3439b9f4 /config | |
parent | a55f818f8b43da55c139b9f97f85e4dd8ea320b2 (diff) | |
download | xen-1b21c0b45981cfe56777075e51268eed0371bbf2.tar.gz xen-1b21c0b45981cfe56777075e51268eed0371bbf2.tar.bz2 xen-1b21c0b45981cfe56777075e51268eed0371bbf2.zip |
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 <dgdegra@tycho.nsa.gov>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'config')
-rw-r--r-- | config/Tools.mk.in | 4 |
1 files changed, 0 insertions, 4 deletions
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 |