diff options
| -rwxr-xr-x | configure | 8 | ||||
| -rw-r--r-- | make/configure.pm | 2 |
2 files changed, 6 insertions, 4 deletions
@@ -79,13 +79,13 @@ exit 1 unless GetOptions( 'help' => \&cmd_help, 'update' => \&cmd_update, - 'development' => \$opt_development, - 'disable-interactive' => \$opt_disable_interactive, - 'disable-auto-extras' => \$opt_disable_auto_extras, - 'distribution-label=s' => \$opt_distribution_label, 'binary-dir=s' => \$opt_binary_dir, 'config-dir=s' => \$opt_config_dir, 'data-dir=s' => \$opt_data_dir, + 'development' => \$opt_development, + 'disable-auto-extras' => \$opt_disable_auto_extras, + 'disable-interactive' => \$opt_disable_interactive, + 'distribution-label=s' => \$opt_distribution_label, 'gid=s' => \$opt_gid, 'log-dir=s' => \$opt_log_dir, 'manual-dir=s' => \$opt_manual_dir, 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. |