Let the user specify an extra include file (included into build.h)

1 files changed, 2 insertions, 0 deletions

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(); }
            );