openjdk11: add src.zip for IDEs

2020-08-10 14:41:01 +01:00 · 2020-08-10 14:41:01 +01:00 · 7cee92a1cc
commit 7cee92a1cc
parent 5542b84aee
1 changed files with 1 additions and 0 deletions
--- a/pkgs/development/compilers/openjdk/11.nix
+++ b/pkgs/development/compilers/openjdk/11.nix
@ -77,6 +77,7 @@ let
      mkdir -p $out/lib

      mv build/*/images/jdk $out/lib/openjdk
+      mv build/*/support/src.zip $out/lib/src.zip

      # Remove some broken manpages.
      rm -rf $out/lib/openjdk/man/ja*