diff options
-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.]) |