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

555 B

Raw Permalink Blame History

View Raw