| commit | c9416d1951790421fff9860a3bca9c2b6319721c | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Tue Dec 01 09:43:20 2020 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Tue Dec 01 09:43:20 2020 +0100 |
| tree | 87e202f8aad7432e58104a8d46ec5d2ae02ed519 | |
| parent | 1549a0553e48cd26189dfa586aa0578b6d485260 [diff] |
[569111] Provide Installer also for aarch64 https://bugs.eclipse.org/bugs/show_bug.cgi?id=569111 We should be careful not to offer JustJ JREs if there isn't actually a specific JRE fragment available for the current platform. So we should record this information in the generator and should consider it when building the list of external JREs.