diff options
author | lloyd <[email protected]> | 2008-09-30 22:51:22 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2008-09-30 22:51:22 +0000 |
commit | a5646619a895ac6f11257e4ad154a6b5b2cac2d0 (patch) | |
tree | 4277ea9522daf7ea8318c53b432b1984bab5d708 /configure.pl | |
parent | 2887d3ab9957753a5c9d862efe8d61202b970bb4 (diff) |
s/--enable-module-sets/--use-module-set/ - otherwise one has to type all of --enable-modules for it to be recognized
Diffstat (limited to 'configure.pl')
-rwxr-xr-x | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index 49710eb6a..a4b6d060c 100755 --- a/configure.pl +++ b/configure.pl @@ -676,7 +676,7 @@ sub get_options { 'enable-modules=s' => sub { add_modules($config, $_[1]); }, 'disable-modules=s' => sub { disable_modules($config, $_[1]); }, - 'enable-module-sets=s' => sub { add_module_sets($config, $_[1]); }, + 'use-module-set=s' => sub { add_module_sets($config, $_[1]); }, 'with-build-dir=s' => sub { $$config{'build-dir'} = $_[1]; }, 'with-endian=s' => sub { &$save_option(@_); }, |