diff options
author | lloyd <[email protected]> | 2008-09-30 03:32:07 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2008-09-30 03:32:07 +0000 |
commit | 0dca71e64c81d0b75f32beeadfe38d57c148db5b (patch) | |
tree | e1728c47a6c875f6d5c11d0cc4d0288a335be5c3 | |
parent | 8bdd6766bb0674250cd9504d60bb58f1aa7535ef (diff) |
Remove needless options
-rwxr-xr-x | configure.pl | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/configure.pl b/configure.pl index ed41b3b46..16b233fba 100755 --- a/configure.pl +++ b/configure.pl @@ -270,9 +270,8 @@ To set the compiler to use, or which OS or CPU to target, use: To change what modules to use: - --enable-module(s)=[module list] - - --disable-module(s)=[module list] + --enable-modules=[module list] + --disable-modules=[module list] Known modules: $modules @@ -657,14 +656,9 @@ sub get_options { 'module-set=s' => sub { add_module_sets($config, $_[1]); }, 'module-sets=s' => sub { add_module_sets($config, $_[1]); }, - 'enable-module=s' => sub { add_modules($config, $_[1]); }, 'enable-modules=s' => sub { add_modules($config, $_[1]); }, - 'disable-module=s' => sub { disable_modules($config, $_[1]); }, 'disable-modules=s' => sub { disable_modules($config, $_[1]); }, - - 'module=s' => sub { add_modules($config, $_[1]); }, 'modules=s' => sub { add_modules($config, $_[1]); }, - 'no-module=s' => sub { disable_modules($config, $_[1]); }, 'no-modules=s' => sub { disable_modules($config, $_[1]); }, 'trace' => sub { $TRACING = 1; }, |