diff options
author | Andreas Enge <andreas@enge.fr> | 2023-04-05 20:08:07 +0200 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2023-04-05 20:08:07 +0200 |
commit | e8aeab85d387ca3e577519ca31288025383e94d9 (patch) | |
tree | 2cfb03b2fd6398f8610d84ab585aa66aa876711d /gnu/packages | |
parent | b0779c1c646016bd2cd8d163937772c0da2d473e (diff) |
gnu: openjdk16: Fix build.
* gnu/packages/java.scm (openjdk16)[origin]: Add patch.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/java.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 8182d7da5b..8254330d55 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -1492,7 +1492,8 @@ blacklisted.certs.pem" (make-openjdk openjdk15 "16.0.2" "0587px2qbz07g3xi4a3ya6m630p72dvkxcn0bj1813pxnwvcgigz" (source (origin - (inherit (package-source base)))))) + (inherit (package-source base)) + (patches (search-patches "openjdk-10-setsignalhandler.patch")))))) (define-public openjdk17 (make-openjdk |