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

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