Update 'release.nix'

2023-02-03 11:31:48 +01:00 · 2023-02-03 11:31:48 +01:00 · b5ef812970
parent 0f6ea532b4
commit b5ef812970
1 changed files with 1 additions and 0 deletions
--- a/release.nix
+++ b/release.nix
@ -9,6 +9,7 @@ in
        cppCompiler = pkgs.clang_12;
        extraCmakeFlags = [
          "-DGINKGO_CUDA=OFF"
+          "-DGINKGO_BENCHMARK=OFF"
        ];
      };
    };