diff options
Diffstat (limited to 'config/Tools.mk.in')
| -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 |