diff options
author | Tor Lillqvist <tml@iki.fi> | 2012-03-02 14:21:36 +0200 |
---|---|---|
committer | Tor Lillqvist <tml@iki.fi> | 2012-03-02 15:42:27 +0200 |
commit | c70cedabd3da7f6af16af5f8784271d6398f4678 (patch) | |
tree | 2fbc7c501cb1c1a1f715c86de59d138a5a9d72d4 /configure.in | |
parent | ab9f4482b19126d696f5a004384ddf29f7fedbc3 (diff) |
Clarify what --disable-extensions means
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 6e51f3507c28..958d4bcfba30 100644 --- a/configure.in +++ b/configure.in @@ -393,6 +393,10 @@ AC_ARG_ENABLE(database-connectivity, [Disable various database connectivity. Work in progress, use only if you are hacking on it.]) ) +# This doesn't mean not building (or "integrating") extensions +# (although it probably should; i.e. it should imply +# --disable-extension-integration I guess), it means not supporting +# any extension mechanism at all AC_ARG_ENABLE(extensions, AS_HELP_STRING([--disable-extensions], [Disable all add-on extension functionality. Work in progress, use only if you are hacking on it.]) |