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