diff options
Diffstat (limited to 'java_home.patch')
| -rw-r--r-- | java_home.patch | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/java_home.patch b/java_home.patch index 7f5af19da3a2..5afb64e650d0 100644 --- a/java_home.patch +++ b/java_home.patch @@ -1,6 +1,8 @@ ---- a/ide/bin/launcher.sh 2015-04-16 14:14:34.000000000 -0700 -+++ b/ide/bin/launcher.sh 2015-06-02 18:40:06.592117555 -0700 -@@ -673,18 +673,6 @@ +diff --git a/ide/bin/launcher.sh b/ide/bin/launcher.sh +index da23d23..55c8e91 100644 +--- a/ide/bin/launcher.sh ++++ b/ide/bin/launcher.sh +@@ -925,18 +925,6 @@ GetDefaultJDK() # if [ -f "$tmpvar" ] then |