diff options
author | Yohann Roussel <yroussel@google.com> | 2015-03-13 12:37:23 +0100 |
---|---|---|
committer | Yohann Roussel <yroussel@google.com> | 2015-03-13 17:07:19 +0000 |
commit | 80248a76c3b56f6994a6d9fc18f85cfb7dd0c1e9 (patch) | |
tree | e67e7bc458cfcec5e664f16255faac0ae5d0e5ae /jack/etc | |
parent | 492645221137af8bb3fdf2613aeedd0a146b7710 (diff) | |
download | toolchain_jack-80248a76c3b56f6994a6d9fc18f85cfb7dd0c1e9.tar.gz toolchain_jack-80248a76c3b56f6994a6d9fc18f85cfb7dd0c1e9.tar.bz2 toolchain_jack-80248a76c3b56f6994a6d9fc18f85cfb7dd0c1e9.zip |
Ensure that jack script use TMPDIR
If the environment variable is defined.
Bug: 19654122
Change-Id: Iaa26c4f729eabec8953be715b2c09eff827e8695
Diffstat (limited to 'jack/etc')
-rwxr-xr-x | jack/etc/jack | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index 1e339866..2fb6f919 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -1,4 +1,4 @@ -#! /bin/bash +#!/bin/bash # # Copyright (C) 2015 The Android Open Source Project # @@ -19,7 +19,9 @@ set -o nounset JACK_NB_COMPILE=10 JACK_TIMEOUT=15 -TMPDIR="/tmp" +if [ -z $TMPDIR ]; then + TMPDIR="/tmp" +fi JACK_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.Server" JACK_FIFO="$TMPDIR/jack-$USER.cmd" |