diff options
| author | lloyd <[email protected]> | 2008-09-28 19:15:26 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2008-09-28 19:15:26 +0000 |
| commit | 26ad026e8eb0521a9fb2f313f07f8fc7222d2ea8 (patch) | |
| tree | bafe7d484e2a7deeec2a4f42a6c8a018fe44e4e7 /configure.pl | |
| parent | 197b5cfea1a4102d60704c10af325da0f38e2c62 (diff) | |
Add convenience aliases for --disable-modules
Diffstat (limited to 'configure.pl')
| -rwxr-xr-x | configure.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl index 6b331adf0..e94b6e68c 100755 --- a/configure.pl +++ b/configure.pl @@ -277,6 +277,7 @@ To change what modules to use: [$modules] --disable-modules=module1[,module2[...]] + --disable-module=module1[,module2[...]] To add a set of modules: --module-set=[$sets] @@ -595,7 +596,10 @@ sub get_options { 'module-set=s' => sub { add_module_sets($config, $_[1]); }, 'module-sets=s' => sub { add_module_sets($config, $_[1]); }, + 'disable-module=s' => sub { disable_modules($config, $_[1]); }, 'disable-modules=s' => sub { disable_modules($config, $_[1]); }, + 'no-module=s' => sub { disable_modules($config, $_[1]); }, + 'no-modules=s' => sub { disable_modules($config, $_[1]); }, 'trace' => sub { $TRACING = 1; }, 'debug' => sub { &$save_option($_[0], 1); }, |