diff options
| author | Danny Milosavljevic <[email protected]> | 2023-07-31 20:09:17 +0200 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2024-08-31 10:44:39 +0200 |
| commit | 5996fb5b0c7ce7ca6b1552308199effa66cbcf6a (patch) | |
| tree | 969661019abcac62096353f3994dbf72b1306e35 /gnu/local.mk | |
| parent | d109a7322c0597b4f265df93061886984fca9037 (diff) | |
gnu: openjdk13: Make reproducible.
* gnu/packages/patches/openjdk-13-classlist-reproducibility.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patch.
* gnu/packages/java.scm (openjdk13)[source]: Add patch.
[arguments]<#:phases>[remove-timestamping]: Modify phase.
Signed-off-by: Maxim Cournoyer <[email protected]>
Change-Id: I1b2943c989e2d6acfd8131ea4ede978c61948811
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 591c415ea2..39322b43de 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1841,6 +1841,7 @@ dist_patch_DATA = \ %D%/packages/patches/openjdk-10-pointer-comparison.patch \ %D%/packages/patches/openjdk-10-setsignalhandler.patch \ %D%/packages/patches/openjdk-11-classlist-reproducibility.patch \ + %D%/packages/patches/openjdk-13-classlist-reproducibility.patch \ %D%/packages/patches/openjdk-15-xcursor-no-dynamic.patch \ %D%/packages/patches/openjdk-21-fix-rpath.patch \ %D%/packages/patches/openmpi-mtl-priorities.patch \ |