diff options
author | Yohann Roussel <yroussel@google.com> | 2015-03-27 15:34:34 +0100 |
---|---|---|
committer | Yohann Roussel <yroussel@google.com> | 2015-03-27 15:34:34 +0100 |
commit | 93a11e04c710bd4f7748f6f0797ab74b1bb37905 (patch) | |
tree | 1ef2b0fa4554f1e42e0c191233601311c10decde /jack/etc | |
parent | b60deac3d08ace3cd053d1cc51c68aba18c57294 (diff) | |
download | toolchain_jack-93a11e04c710bd4f7748f6f0797ab74b1bb37905.tar.gz toolchain_jack-93a11e04c710bd4f7748f6f0797ab74b1bb37905.tar.bz2 toolchain_jack-93a11e04c710bd4f7748f6f0797ab74b1bb37905.zip |
Allow user to select server log location
If the variable SERVER_LOG is defined then the server will use it as
the location for its log.
Change-Id: I40a4c99b40ef619806b8b65c72431db338434f98
Diffstat (limited to 'jack/etc')
-rwxr-xr-x | jack/etc/jack | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jack/etc/jack b/jack/etc/jack index 620a34a2..80b887d1 100755 --- a/jack/etc/jack +++ b/jack/etc/jack @@ -50,7 +50,9 @@ fi SERVER_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.JackSimpleServer" SERVER_DIR="$TMPDIR/jack-$USER" JACK_DIR="$SERVER_DIR/jack-task-$$/" -SERVER_LOG="$SERVER_DIR/jack-$SERVER_PORT.log" +if [ -z "$SERVER_LOG" ]; then + SERVER_LOG="$SERVER_DIR/jack-$SERVER_PORT.log" +fi JACK_OUT="$JACK_DIR/out" JACK_ERR="$JACK_DIR/err" JACK_CLI="$JACK_DIR/cli" |