Archived
1
0
Fork 0

gnu: openjdk14: Fix build.

* gnu/packages/java.scm (openjdk14)[origin]: Add patch.
This commit is contained in:
Andreas Enge 2023-04-05 18:41:25 +02:00
parent 7a68045624
commit b0779c1c64
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3

View file

@ -1466,7 +1466,8 @@ blacklisted.certs.pem"
;; not available in bash-minimal ;; not available in bash-minimal
(substitute* "make/autoconf/basics.m4" (substitute* "make/autoconf/basics.m4"
(("if help") "if command -v")) (("if help") "if command -v"))
(for-each delete-file (find-files "." "\\.(bin|exe|jar)$")))))))) (for-each delete-file (find-files "." "\\.(bin|exe|jar)$"))))
(patches (search-patches "openjdk-10-setsignalhandler.patch"))))))
(define-public openjdk15 (define-public openjdk15
(make-openjdk (make-openjdk