WIP

tweag · May 10, 2023 · 68cc119 · 68cc119
1 parent f2844de
commit 68cc119
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -101,7 +101,7 @@
           cabal2nixOptions = "--benchmark -fdev";
 
           modifier = drv: drv // {
-            doCheck = builtins.trace system system == "x86_64-linux";
+            doCheck = builtins.trace "system is ${system}" system == "x86_64-linux";
           };
         };