openjdk17-bootstrap: adoptopenjdk16 → adoptopenjdk17

2022-09-18 20:52:40 -05:00
parent 5cd66a72e8
commit f8a5339532
1 changed files with 1 additions and 1 deletions
@@ -127,7 +127,7 @@ in {
        inherit openjdk15-bootstrap;
      });

-    openjdk17-bootstrap = mkBootstrap adoptopenjdk-16
+    openjdk17-bootstrap = mkBootstrap adoptopenjdk-17
      ../development/compilers/openjdk/16.nix
      (bootstrapArgs // {
        inherit openjdk16-bootstrap;