diff options
author | Andreas Enge <[email protected]> | 2023-04-05 15:50:24 +0200 |
---|---|---|
committer | Andreas Enge <[email protected]> | 2023-04-05 15:52:00 +0200 |
commit | a0cf2bb5f1d28b636574fb6b974dd7ba1ded6d2d (patch) | |
tree | 749af58a4b617c99159500cf21938c505d5359e8 /gnu/packages/cdrom.scm | |
parent | b7c8a69fd8e038990f1489c9d85def5b2cae52a8 (diff) |
gnu: openjdk10: Add patches to fix build.
* gnu/packages/patches/openjdk-10-pointer-comparison.patch,
gnu/packages/patches/openjdk-10-setsignalhandler.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register patches.
* gnu/packages/java.scm (openjdk10)[origin]: Use patches.
Diffstat (limited to 'gnu/packages/cdrom.scm')
0 files changed, 0 insertions, 0 deletions