Andreas Enge
|
a0cf2bb5f1
|
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.
|
2023-04-05 15:52:00 +02:00 |
|