diff options
| author | Andreas Enge <andreas@enge.fr> | 2023-04-05 15:50:24 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2023-04-05 15:52:00 +0200 |
| commit | a0cf2bb5f1d28b636574fb6b974dd7ba1ded6d2d (patch) | |
| tree | 749af58a4b617c99159500cf21938c505d5359e8 /gnu/local.mk | |
| 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/local.mk')
| -rw-r--r-- | gnu/local.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index b184f6c5a3..d583e06e18 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1619,6 +1619,8 @@ dist_patch_DATA = \ %D%/packages/patches/openjdk-9-pointer-comparison.patch \ %D%/packages/patches/openjdk-9-setsignalhandler.patch \ %D%/packages/patches/openjdk-10-idlj-reproducibility.patch \ + %D%/packages/patches/openjdk-10-pointer-comparison.patch \ + %D%/packages/patches/openjdk-10-setsignalhandler.patch \ %D%/packages/patches/openjdk-15-xcursor-no-dynamic.patch \ %D%/packages/patches/openmpi-mtl-priorities.patch \ %D%/packages/patches/openssh-hurd.patch \ |