Commit 6d6d23d
Add support to detect prefixed JAVA_HOME_ env variables for installation
The setup-java github actions defines by default java installations in
env variable starting with JAVA_HOME_ but this is currently not
detected.
This now additionally also supports this form of JVM installs and fixes
an issue with relying on toSet returning a modifiable set (what is not
guaranteed).1 parent 82d17de commit 6d6d23d
File tree
1 file changed
+6
-1
lines changed- org.eclipse.jdt.launching/launching/org/eclipse/jdt/internal/launching
1 file changed
+6
-1
lines changedLines changed: 6 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
156 | 156 | | |
157 | 157 | | |
158 | 158 | | |
159 | | - | |
| 159 | + | |
160 | 160 | | |
161 | 161 | | |
162 | 162 | | |
| |||
167 | 167 | | |
168 | 168 | | |
169 | 169 | | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
170 | 175 | | |
171 | 176 | | |
172 | 177 | | |
| |||
0 commit comments