summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/java-openjfx-build-jdk_version.patch
AgeCommit message (Collapse)Author
2020-06-03gnu: java-openjfx-build: Add helpful patch.Alexey Abramov
* gnu/packages/java.scm (java-openjfx-build)[source]: Use it. * gnu/packages/patches/java-openjfx-build-jdk_version.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. Signed-off-by: Alexey Abramov <levenson@mmer.org> Signed-off-by: Ludovic Courtès <ludo@gnu.org>