diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-12-15 00:02:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-15 00:02:53 +0000 |
| commit | f97ebb847773097a88aebabd37a3b287a02f25a4 (patch) | |
| tree | 5237cba491bf44fb0ddda1e9822d472a4df3a69c /pkgs/development/compilers | |
| parent | 7be452e197510b95c0091bfb1dde13234dedf4ec (diff) | |
| parent | f7d72376c1dd71c6dd7693c22c630416dadfaf1e (diff) | |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/jetbrains-jdk/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/jetbrains-jdk/default.nix b/pkgs/development/compilers/jetbrains-jdk/default.nix index 0a76f0ae31da5..1e6b86b17b8e4 100644 --- a/pkgs/development/compilers/jetbrains-jdk/default.nix +++ b/pkgs/development/compilers/jetbrains-jdk/default.nix @@ -96,6 +96,7 @@ openjdk17.overrideAttrs (oldAttrs: rec { '' runHook preInstall + mv build/linux-${cpu}-server-${buildType}/images/jdk/man build/linux-${cpu}-server-${buildType}/images/${jbrsdkDir} rm -rf build/linux-${cpu}-server-${buildType}/images/jdk mv build/linux-${cpu}-server-${buildType}/images/${jbrsdkDir} build/linux-${cpu}-server-${buildType}/images/jdk '' + oldAttrs.installPhase + "runHook postInstall"; |