| Summary: | Verify if the JAVA_HOME is set before build starts | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Product: | [Tools] Linux Tools | Reporter: | Krzysztof Daniel <krzysztof.daniel> | ||||||||||||
| Component: | eclipse-build | Assignee: | Krzysztof Daniel <krzysztof.daniel> | ||||||||||||
| Status: | RESOLVED FIXED | QA Contact: | Alexander Kurtakov <akurtakov> | ||||||||||||
| Severity: | enhancement | ||||||||||||||
| Priority: | P3 | CC: | krzysztof.daniel | ||||||||||||
| Version: | unspecified | ||||||||||||||
| Target Milestone: | 1.0 | ||||||||||||||
| Hardware: | PC | ||||||||||||||
| OS: | Linux | ||||||||||||||
| Whiteboard: | |||||||||||||||
| Attachments: |
|
||||||||||||||
|
Description
Krzysztof Daniel
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. |