diff options
| author | lloyd <[email protected]> | 2008-11-21 19:08:18 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2008-11-21 19:08:18 +0000 |
| commit | 2192a572613f924e2d1b95572ee8c5bc18a46ea0 (patch) | |
| tree | ff4e376e098abe6979c713fe81eef3af0c533fd0 | |
| parent | 0d0d39e01584814774289292b61a71cd986885ac (diff) | |
Make it optional to provide an argument to --enable-modules or
--disable-modules. While updating the Gentoo ebuild I found it was
much easier to autogen the configure line if both of these options
are no-ops if used with no value.
| -rwxr-xr-x | configure.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.pl b/configure.pl index 16b53c7d5..4a3fa6eae 100755 --- a/configure.pl +++ b/configure.pl @@ -769,8 +769,8 @@ sub get_options { 'enable-debug' => sub { &$save_option('debug', 1); }, 'disable-debug' => sub { &$save_option('debug', 0); }, - 'enable-modules=s' => sub { add_modules($config, $_[1]); }, - 'disable-modules=s' => sub { disable_modules($config, $_[1]); }, + 'enable-modules:s' => sub { add_modules($config, $_[1]); }, + 'disable-modules:s' => sub { disable_modules($config, $_[1]); }, 'use-module-set=s' => sub { add_module_sets($config, $_[1]); }, |