| 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`
|
|
|
|
|