diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/tinderbox_build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/tinderbox_build b/tools/tinderbox_build index aad0fa44..04c691e2 100755 --- a/tools/tinderbox_build +++ b/tools/tinderbox_build @@ -246,8 +246,8 @@ sub SetupPath { sub configure { # Configure - print LOG "./configure --enable-libtap $ConfigureArgs\n"; - open (CONFIGURE, "./configure --enable-libtap $ConfigureArgs 2>&1 |") || die "../configure: $!\n"; + print LOG "./configure --enable-extra-opts --enable-libtap $ConfigureArgs\n"; + open (CONFIGURE, "./configure --enable-extra-opts --enable-libtap $ConfigureArgs 2>&1 |") || die "../configure: $!\n"; while (<CONFIGURE>) { print $_; print LOG $_; |