Merge pull request #12614 from romildo/update-jrePlugin

jrePlugin: add versions 7 and 8
This commit is contained in:
Franz Pletz 2016-01-27 18:20:10 +01:00
commit 8e6fa2d14f

View File

@ -4295,7 +4295,13 @@ let
oraclejre8psu = lowPrio (pkgs.oraclejdk8psu_distro false false);
jrePlugin = lowPrio (pkgs.jdkdistro false true);
jrePlugin = jre8Plugin;
jre6Plugin = lowPrio (pkgs.jdkdistro false true);
jre7Plugin = lowPrio (pkgs.oraclejdk7distro false true);
jre8Plugin = lowPrio (pkgs.oraclejdk8distro false true);
supportsJDK =
system == "i686-linux" ||