Fix openjdk boot version

2023-08-09 18:58:04 +03:00
parent ec6d2239e9
commit a216b44bc7
1 changed files with 1 additions and 1 deletions
--- a/jdk.nix
+++ b/jdk.nix
@@ -13,6 +13,6 @@ else (jdk17.override {
    configureFlags = old.configureFlags ++ [
        "--with-jtreg=no"
        "--disable-hotspot-gtest"
-        "--with-build-jdk=${buildPackages.jdk11}"
+        "--with-build-jdk=${buildPackages.jdk17}"
    ];
 })