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 | |
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')
-rw-r--r-- | config/Tools.mk.in | 4 | ||||
-rw-r--r-- | config/Xen.mk.in | 19 |
2 files changed, 4 insertions, 19 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 diff --git a/config/Xen.mk.in b/config/Xen.mk.in deleted file mode 100644 index e152f398aa..0000000000 --- a/config/Xen.mk.in +++ /dev/null @@ -1,19 +0,0 @@ -# Prefix and install folder -PREFIX := @prefix@ -LIBLEAFDIR_x86_64 := @LIB_PATH@ - -# A debug build of xen? -debug := @debug@ - -# Tools path -PYTHON := @PYTHON@ - -# Extra folder for libs/includes -PREPEND_INCLUDES := @PREPEND_INCLUDES@ -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@ |