diff options
author | Tim Steinbach <NeQuissimus@users.noreply.github.com> | 2016-09-01 18:47:19 +0000 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-09-01 20:47:19 +0200 |
commit | 8a7afae58b55bbb51dd11d610c72cdc2b4142931 (patch) | |
tree | 08332e61a7aeeccfb640daa54afaa49f4d8984b3 | |
parent | d163882770c7ec84c59f0dcc13e5eb28b6281e4b (diff) |
openjdk: Fix #17603
-rw-r--r-- | pkgs/development/compilers/openjdk/8.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/openjdk/8.nix b/pkgs/development/compilers/openjdk/8.nix index 6344b96db33e4..ffe116c815807 100644 --- a/pkgs/development/compilers/openjdk/8.nix +++ b/pkgs/development/compilers/openjdk/8.nix @@ -174,6 +174,7 @@ let ln -s $out/lib/openjdk/bin $out/bin ln -s $jre/lib/openjdk/jre/bin $jre/bin + ln -s $jre/lib/openjdk/jre $out/jre ''; # FIXME: this is unnecessary once the multiple-outputs branch is merged. |