Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(763)

Issue 12252042: android: Check whether JAVA_HOME is set incorrectly in envsetup.sh (Closed)

Created:
7 years, 10 months ago by bsalomon
Modified:
7 years, 10 months ago
Reviewers:
Lei Zhang
CC:
chromium-reviews, klundberg+watch_chromium.org, frankf+watch_chromium.org, bulach+watch_chromium.org, yfriedman+watch_chromium.org, ilevy+watch_chromium.org
Visibility:
Public.

Description

android: Check whether JAVA_HOME is set incorrectly in envsetup.sh Committed: https://src.chromium.org/viewvc/chrome?view=rev&revision=182522

Patch Set 1 #

Total comments: 2
Unified diffs Side-by-side diffs Delta from patch set Stats (+11 lines, -0 lines) Patch
M build/android/envsetup.sh View 1 chunk +11 lines, -0 lines 2 comments Download

Messages

Total messages: 3 (0 generated)
bsalomon
I tested this locally and it would have caught my problem. However, I'm not known ...
7 years, 10 months ago (2013-02-14 19:19:56 UTC) #1
Lei Zhang
lgtm I think for portable shell, one shouldn't use [[, but it's already used in ...
7 years, 10 months ago (2013-02-14 20:00:07 UTC) #2
bsalomon
7 years, 10 months ago (2013-02-14 20:11:19 UTC) #3
Message was sent while issue was closed.
https://codereview.chromium.org/12252042/diff/1/build/android/envsetup.sh
File build/android/envsetup.sh (right):

https://codereview.chromium.org/12252042/diff/1/build/android/envsetup.sh#new...
build/android/envsetup.sh:116: if [[ ! -z "$JAVA_HOME" && -e
"$JAVA_HOME/bin/java" ]]; then
On 2013/02/14 20:00:07, Lei Zhang wrote:
> ! -z   --->   -n
> 
> -e     --->   -x

Done.

Powered by Google App Engine
This is Rietveld 408576698