Merge pull request #728 from msprotz/patch-2

Update flake.nix
cryspen · Dec 20, 2024 · a605166 · a605166
2 parents 3230442 + 5df4c89
commit a605166
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -118,8 +118,8 @@
                   -DCMAKE_SHARED_LINKER_FLAGS="-fuse-ld=mold" \
                   -G "Ninja Multi-Config" -B build
                 cmake --build build --config Release
-                build/ml_kem_test
-                build/sha3_test
+                build/Release/ml_kem_test
+                build/Release/sha3_test
                 rm -rf build/_deps
               '';
               checkPhase = ''