Update 'release.nix'

2023-02-03 11:33:56 +01:00 · 2023-02-03 11:33:56 +01:00 · fa013325b1
parent b5ef812970
commit fa013325b1
1 changed files with 2 additions and 1 deletions
--- a/release.nix
+++ b/release.nix
@ -9,7 +9,8 @@ in
        cppCompiler = pkgs.clang_12;
        extraCmakeFlags = [
          "-DGINKGO_CUDA=OFF"
-          "-DGINKGO_BENCHMARK=OFF"
+          "-DGINKGO_BUILD_BENCHMARKS=OFF"
+          "-DGINKGO_BUILD_EXAMPLES=OFF"
        ];
      };
    };