diff options
| author | Marius Bakke <marius@gnu.org> | 2022-09-13 00:59:31 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-09-13 14:53:08 +0200 |
| commit | c463d7ac916d86c4afd50dc5aecf645ff2deeb14 (patch) | |
| tree | 62d359aa78fcb2c9ee903644c57a19fb611a3698 /.gitattributes | |
| parent | 389b5b5359e82be5e0417fd3505661b1800fca40 (diff) | |
| download | guix-c463d7ac916d86c4afd50dc5aecf645ff2deeb14.tar.gz | |
gnu: OpenJDK@10: Fix build with newer toolchains.
* gnu/packages/java.scm (openjdk10)[source](patches): Add two patches. [source](snippet): While here, simplify. * gnu/packages/patches/openjdk-10-hotspot-pointer-comparison.patch, gnu/packages/patches/openjdk-10-hotspot-stack-size.patch: New files. * gnu/local.mk (dist_patch_DATA): Adjust accordingly.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions