aboutsummaryrefslogtreecommitdiffstats
path: root/configure.pl
diff options
context:
space:
mode:
authorlloyd <[email protected]>2008-09-30 23:46:42 +0000
committerlloyd <[email protected]>2008-09-30 23:46:42 +0000
commit7dd34a4d58d9e981162da498fac98fccd7e08717 (patch)
tree1a0a481a91d1a8dc84fb672ed02a29ff0f701534 /configure.pl
parent9259dd0d11d8269f005b3d630b042341f398c7fd (diff)
Add back --modules as an alias for --enable-modules (finger memory)
Diffstat (limited to 'configure.pl')
-rwxr-xr-xconfigure.pl1
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; }