diff options
| -rwxr-xr-x | scripts/get.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 406f952bc..9245c954d 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -5,14 +5,17 @@ set -o pipefail -if [ 0 -ne "$(id -u)" ] -then +if [ 0 -ne "$(id -u)" ]; then sudoprefix=sudo else sudoprefix= fi -tmpdir=/tmp/.xmake_getter$$ +if [ -z "$TMPDIR" ]; then + tmpdir=/tmp/.xmake_getter$$ +else + tmpdir=$TMPDIR +fi remote_get_content(){ if curl --version >/dev/null 2>&1 |