diff options
Diffstat (limited to 'misc/config')
| -rw-r--r-- | misc/config/code/include.pl | 6 | ||||
| -rw-r--r-- | misc/config/code/main.pl | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/misc/config/code/include.pl b/misc/config/code/include.pl index 60eccefff..8d476545e 100644 --- a/misc/config/code/include.pl +++ b/misc/config/code/include.pl @@ -61,6 +61,12 @@ END_OF_CONFIG_H } print CONFIG_H $defines; + + if($local_config ne '') + { + print CONFIG_H "\n#include \"${local_config}\"\n"; + } + print CONFIG_H "\n#endif\n"; close CONFIG_H; diff --git a/misc/config/code/main.pl b/misc/config/code/main.pl index 65897ee95..6465d8864 100644 --- a/misc/config/code/main.pl +++ b/misc/config/code/main.pl @@ -8,6 +8,7 @@ my $dumb_gcc = 0; my $autoconfig = 1; my $user_set_root = ''; my $build_dir = ''; +my $local_config = ''; my @using_mods; my ($doc_dir, $lib_dir); @@ -28,6 +29,7 @@ GetOptions('debug' => sub { $debug = 1; }, 'docdir=s' => \$doc_dir, 'libdir=s' => \$lib_dir, 'build-dir=s' => \$build_dir, + 'local-config=s' => \$local_config, 'help' => sub { help(); } ); |