diff options
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@ |