diff options
Diffstat (limited to 'tools/tinderbox_build')
-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 { | |||
246 | 246 | ||
247 | sub configure { | 247 | sub configure { |
248 | # Configure | 248 | # Configure |
249 | print LOG "./configure --enable-libtap $ConfigureArgs\n"; | 249 | print LOG "./configure --enable-extra-opts --enable-libtap $ConfigureArgs\n"; |
250 | open (CONFIGURE, "./configure --enable-libtap $ConfigureArgs 2>&1 |") || die "../configure: $!\n"; | 250 | open (CONFIGURE, "./configure --enable-extra-opts --enable-libtap $ConfigureArgs 2>&1 |") || die "../configure: $!\n"; |
251 | while (<CONFIGURE>) { | 251 | while (<CONFIGURE>) { |
252 | print $_; | 252 | print $_; |
253 | print LOG $_; | 253 | print LOG $_; |