diff options
author | Ricardo Wurmus <[email protected]> | 2024-01-10 21:52:33 +0100 |
---|---|---|
committer | Ricardo Wurmus <[email protected]> | 2024-01-10 21:52:33 +0100 |
commit | db7488a7fbd829d25b0b5c5e53b1c680b67832b1 (patch) | |
tree | deefcd2b7383f5dbc935dbb8b15e0394baa5c917 /gnu/local.mk | |
parent | 6c453e04b810a45f896cf710b99824dc56aaa403 (diff) |
gnu: openjdk9: Fix time bomb in ‘GenerateCurrencyData.java’.
Fixes <https://issues.guix.gnu.org/68333>, as well.
This is a companion to commit 5c0f77f4241c9beac0c82deae946bfdc70b49ff0.
* gnu/packages/java.scm (openjdk9)[source]: Add patch.
* gnu/packages/patches/openjdk-currency-time-bomb.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Change-Id: I45ca1fe5bad922307eba64d46a330a8f233c0f55
Diffstat (limited to 'gnu/local.mk')
-rw-r--r-- | gnu/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 6e6d28e6f0..43163c3d27 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -7,7 +7,7 @@ # Copyright © 2016, 2017, 2018 Kei Kebreau <[email protected]> # Copyright © 2016, 2017 Rene Saavedra <[email protected]> # Copyright © 2016 Adonay "adfeno" Felipe Nogueira <https://libreplanet.org/wiki/User:Adfeno> <[email protected]> -# Copyright © 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023 Ricardo Wurmus <[email protected]> +# Copyright © 2016-2024 Ricardo Wurmus <[email protected]> # Copyright © 2016 Ben Woodcroft <[email protected]> # Copyright © 2016, 2017, 2018, 2019 Alex Vong <[email protected]> # Copyright © 2016-2023 Efraim Flashner <[email protected]> @@ -1743,6 +1743,7 @@ dist_patch_DATA = \ %D%/packages/patches/openboardview-use-system-mpc.patch \ %D%/packages/patches/openbox-python3.patch \ %D%/packages/patches/opencolorio-fix-build-with-gcc11.patch \ + %D%/patches/openjdk-currency-time-bomb.patch \ %D%/packages/patches/openjdk-9-pointer-comparison.patch \ %D%/packages/patches/openjdk-9-setsignalhandler.patch \ %D%/packages/patches/openjdk-10-idlj-reproducibility.patch \ |