diff options
| -rwxr-xr-x | tools/tinderbox_build | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/tinderbox_build b/tools/tinderbox_build index 1ace2b03..70fb07a3 100755 --- a/tools/tinderbox_build +++ b/tools/tinderbox_build @@ -21,6 +21,7 @@ chomp($myhost); my ($host, $junk) = split(/\./, $myhost); my $BuildAdministrator = $ENV{TINDERBOX_BUILD_ADMIN} || "$ENV{'USER'}\@$myhost"; +my $TmpDir = $ENV{TMPDIR} || "/tmp"; #Default values of cmdline opts my $ReportStatus = 0; # Do not send results to server @@ -266,14 +267,14 @@ sub make { sub maketest { # Tests print LOG "LANG=C make test 2>&1\n"; - open( MAKE, "LANG=C make test && make install DESTDIR=/tmp/tinderbox_build.$$ && make install-strip DESTDIR=/tmp/tinderbox_build2.$$ 2>&1 |"); + open( MAKE, "LANG=C make test && make install DESTDIR=$TmpDir/tinderbox_build.$$ && make install-strip DESTDIR=$TmpDir/tinderbox_build2.$$ 2>&1 |"); while ( <MAKE> ) { print $_; print LOG $_; } close( MAKE); my $rc = $?; - system("rm -fr /tmp/tinderbox_build.$$ /tmp/tinderbox_build2.$$"); + system("rm -fr $TmpDir/tinderbox_build.$$ $TmpDir/tinderbox_build2.$$"); return ! $rc; } |