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 70fb07a3..93c40631 100755 --- a/tools/tinderbox_build +++ b/tools/tinderbox_build | |||
@@ -266,8 +266,8 @@ sub make { | |||
266 | 266 | ||
267 | sub maketest { | 267 | sub maketest { |
268 | # Tests | 268 | # Tests |
269 | print LOG "LANG=C make test 2>&1\n"; | 269 | print LOG "LANG=C make test-debug 2>&1\n"; |
270 | open( MAKE, "LANG=C make test && make install DESTDIR=$TmpDir/tinderbox_build.$$ && make install-strip DESTDIR=$TmpDir/tinderbox_build2.$$ 2>&1 |"); | 270 | open( MAKE, "LANG=C make test-debug && make install DESTDIR=$TmpDir/tinderbox_build.$$ && make install-strip DESTDIR=$TmpDir/tinderbox_build2.$$ 2>&1 |"); |
271 | while ( <MAKE> ) { | 271 | while ( <MAKE> ) { |
272 | print $_; | 272 | print $_; |
273 | print LOG $_; | 273 | print LOG $_; |