Use java_home to determine jdk location.

Specifying the major version rather than hard coding
to a minor version.

(cherry-picked from commit 13b2e19ef2)

Change-Id: Ie2c08d35fcff2129b26c1dfa8a2e5cd7b19c4b49
This commit is contained in:
Jason Parks 2014-04-28 13:32:10 -05:00 committed by Narayan Kamath
parent 8afa25552e
commit 30cfbd756b
1 changed files with 1 additions and 1 deletions

View File

@ -1401,7 +1401,7 @@ function set_java_home() {
else
case `uname -s` in
Darwin)
export JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk1.7.0_51.jdk/Contents/Home
export JAVA_HOME=$(/usr/libexec/java_home -v 1.7)
;;
*)
export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64