commit 15bd6523b597715138036b647beb85a9612c2de7
author Andrew Hsieh <andrewhsieh@google.com> Tue Jul 08 03:18:01 2014 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Jul 02 21:24:45 2014 +0000
tree 0af967dc71bca6b1b5faade98685bec5f897fb91
parent 6584713945fb80d391241df3b00b088eb8eb9d78
parent 4f1d377fd0c77fd0e4e94c3d00c89bfc4cda4e87

Merge "Speed up download-toolchain-sources.sh when /tmp is in different filesystem"

build/tools/download-toolchain-sources.sh

diff --git a/build/tools/download-toolchain-sources.sh b/build/tools/download-toolchain-sources.sh
index e03c063..4902a36 100755
--- a/build/tools/download-toolchain-sources.sh
+++ b/build/tools/download-toolchain-sources.sh
@@ -113,7 +113,7 @@
 # Create temp directory where everything will be copied first
 #
 PKGNAME=android-ndk-toolchain-$RELEASE
-TMPDIR=/tmp/ndk-$USER/$PKGNAME
+TMPDIR=$NDK_TMPDIR/$PKGNAME
 log "Creating temporary directory $TMPDIR"
 rm -rf $TMPDIR && mkdir $TMPDIR
 fail_panic "Could not create temporary directory: $TMPDIR"