diff options
author | Keir Fraser <keir@xen.org> | 2012-02-29 15:11:31 +0000 |
---|---|---|
committer | Keir Fraser <keir@xen.org> | 2012-02-29 15:11:31 +0000 |
commit | d04b4856b5cbd9414cca4862216ac880680ab0c6 (patch) | |
tree | 95fc2c1aa97791b119252c45b06bf49be16e9058 /config/Tools.mk.in | |
parent | b4cb6ebb6f656818b19ee4fb9e91fbb9a98f3786 (diff) | |
download | xen-d04b4856b5cbd9414cca4862216ac880680ab0c6.tar.gz xen-d04b4856b5cbd9414cca4862216ac880680ab0c6.tar.bz2 xen-d04b4856b5cbd9414cca4862216ac880680ab0c6.zip |
Revert 24897:f25e5785327e "Export configure variables to hypervisor build"
Signed-off-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'config/Tools.mk.in')
-rw-r--r-- | config/Tools.mk.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 315ced4945..06d5e8974b 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -24,6 +24,10 @@ 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 |