diff options
| author | Peter Powell <petpow@saberuk.com> | 2019-05-15 10:57:02 +0100 |
|---|---|---|
| committer | Peter Powell <petpow@saberuk.com> | 2019-05-15 10:58:45 +0100 |
| commit | a55ca0056963159b0e4cbc88f28c5c82cd44b05e (patch) | |
| tree | b96d7b0d4ae923dd1c3fe4c99719bcfee47f9a05 /make/configure.pm | |
| parent | ddc4f09bfbb335118222f54c30f13368c3340ef9 (diff) | |
Document the --disable-auto-extras configure option.
Diffstat (limited to 'make/configure.pm')
| -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. |