aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlloyd <[email protected]>2008-09-30 03:32:07 +0000
committerlloyd <[email protected]>2008-09-30 03:32:07 +0000
commit0dca71e64c81d0b75f32beeadfe38d57c148db5b (patch)
treee1728c47a6c875f6d5c11d0cc4d0288a335be5c3
parent8bdd6766bb0674250cd9504d60bb58f1aa7535ef (diff)
Remove needless options
-rwxr-xr-xconfigure.pl10
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; },