Index: tool/dependency_overrides.sh |
diff --git a/tool/dependency_overrides.sh b/tool/dependency_overrides.sh |
index 0117db94513b4004a9b31329a15653e43ad126fb..2b0c159a25b0366d390b6b0ba166ae60b7cc145e 100644 |
--- a/tool/dependency_overrides.sh |
+++ b/tool/dependency_overrides.sh |
@@ -23,7 +23,8 @@ function checkout_dependency_override_from_github() { |
echo "** Checking out $dependency_name override from $url$path#$branch" |
- local dep_dir=dependency_overrides/$dependency_name |
+ : ${TMPDIR:="/tmp"} |
+ local dep_dir=$TMPDIR/dependency_overrides/$dependency_name |
[[ -d `dirname $dep_dir` ]] || mkdir `dirname $dep_dir` |