Community
Participate
Working Groups
because it will fail otherwise
Created attachment 208937 [details] Patch proposition A check if the java home is really set.
Created attachment 208942 [details] Patch v2
Created attachment 208943 [details] Patch v2 - proper diff
This looks good to me. Would it be possible to provide a git-formatted patch so that you'll remain as the author? Thanks!
Created attachment 208944 [details] Patch v3 - better naming
Created attachment 208945 [details] Patch v4 in git format
Thanks for the patch. Pushed in 0c3a5d1: http://git.eclipse.org/c/linuxtools/org.eclipse.linuxtools.eclipse-build.git/commit/?id=0c3a5d17d9aeeadf57141aeaba3b65d1ff533584 (not working for some reason).
Setting target milestone.