diff --git a/tools/tinderbox_build b/tools/tinderbox_build
index aad0fa446d1ca9cff570db02d0f81761a0f02a2e..04c691e271904144d9a04169282b01ed90d5040f 100755 (executable)
--- a/tools/tinderbox_build
+++ b/tools/tinderbox_build
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 $_;