diff options
author | lloyd <[email protected]> | 2008-09-30 23:46:42 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2008-09-30 23:46:42 +0000 |
commit | 7dd34a4d58d9e981162da498fac98fccd7e08717 (patch) | |
tree | 1a0a481a91d1a8dc84fb672ed02a29ff0f701534 /configure.pl | |
parent | 9259dd0d11d8269f005b3d630b042341f398c7fd (diff) |
Add back --modules as an alias for --enable-modules (finger memory)
Diffstat (limited to 'configure.pl')
-rwxr-xr-x | configure.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.pl b/configure.pl index a4b6d060c..5852be0ae 100755 --- a/configure.pl +++ b/configure.pl @@ -684,6 +684,7 @@ sub get_options { 'with-local-config=s' => sub { &$save_option('local_config', slurp_file($_[1])); }, + 'modules=s' => sub { add_modules($config, $_[1]); }, 'show-arch-info=s' => sub { emit_help(arch_info($_[1])); }, 'make-style=s' => sub { &$save_option(@_); }, 'dumb-gcc|gcc295x' => sub { $$config{'gcc_bug'} = 1; } |