diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/tinderbox_build | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/tinderbox_build b/tools/tinderbox_build index 44e3dfe6..1ace2b03 100755 --- a/tools/tinderbox_build +++ b/tools/tinderbox_build | |||
@@ -266,13 +266,15 @@ sub make { | |||
266 | sub maketest { | 266 | sub maketest { |
267 | # Tests | 267 | # Tests |
268 | print LOG "LANG=C make test 2>&1\n"; | 268 | print LOG "LANG=C make test 2>&1\n"; |
269 | open( MAKE, "LANG=C make test 2>&1 |"); | 269 | open( MAKE, "LANG=C make test && make install DESTDIR=/tmp/tinderbox_build.$$ && make install-strip DESTDIR=/tmp/tinderbox_build2.$$ 2>&1 |"); |
270 | while ( <MAKE> ) { | 270 | while ( <MAKE> ) { |
271 | print $_; | 271 | print $_; |
272 | print LOG $_; | 272 | print LOG $_; |
273 | } | 273 | } |
274 | close( MAKE); | 274 | close( MAKE); |
275 | return ! $?; | 275 | my $rc = $?; |
276 | system("rm -fr /tmp/tinderbox_build.$$ /tmp/tinderbox_build2.$$"); | ||
277 | return ! $rc; | ||
276 | } | 278 | } |
277 | 279 | ||
278 | # Main function | 280 | # Main function |