| commit | f6a6cd777dd859e25de0fee841f6a06376b9ac8d | [log] [tgz] |
|---|---|---|
| author | Conley Owens <cco3@android.com> | Tue Sep 04 10:57:48 2012 -0700 |
| committer | Conley Owens <cco3@android.com> | Fri Sep 07 09:38:15 2012 -0700 |
| tree | 663ad42d7d97b033a5a8dda272c668d00239d715 | |
| parent | 96a10ed60ec26582ddc741102d1b3f1e881af794 [diff] |
Suggest changing gerrit.config when JDK not found If gerrit.config points at the wrong JDK, setting JAVA_HOME to the correct one will not fix the issue. This patch suggests that the user check the gerrit.config file when no JDK is found. Change-Id: I1042f7291d92189946a765c2ef170cf3707d4a91