FIXUP?

tweag · May 10, 2023 · f2844de · f2844de
1 parent 564fa95
commit f2844de
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -100,8 +100,8 @@
 
           cabal2nixOptions = "--benchmark -fdev";
 
-          overrides = _ : _: {
-            doCheck = system == "x86_64-linux";
+          modifier = drv: drv // {
+            doCheck = builtins.trace system system == "x86_64-linux";
           };
         };