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