diff options
| author | 2019-05-15 10:57:02 +0100 | |
|---|---|---|
| committer | 2019-05-15 10:58:45 +0100 | |
| commit | a55ca0056963159b0e4cbc88f28c5c82cd44b05e (patch) | |
| tree | b96d7b0d4ae923dd1c3fe4c99719bcfee47f9a05 /make | |
| parent | Comment out all of the includes in the inspircd example configs. (diff) | |
Document the --disable-auto-extras configure option.
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.pm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/configure.pm b/make/configure.pm index 877e4ce6c..1a21284cb 100644 --- a/make/configure.pm +++ b/make/configure.pm @@ -154,6 +154,8 @@ MISC OPTIONS --clean Remove the configuration cache file and start the interactive configuration wizard. + --disable-auto-extras Disables automatically enabling extra modules + for which the dependencies are available. --disable-interactive Disables the interactive configuration wizard. --distribution-label=[text] Sets a distribution specific version label in the build configuration. |
