From 049697efad855010ef50a7284bf5dd964cef39e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ma=C3=ABl=20Madon?= <mael.madon@irit.fr>
Date: Fri, 18 Nov 2022 14:22:19 +0100
Subject: [PATCH] clean: remove gcov post-build from nix, for now

---
 default.nix | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/default.nix b/default.nix
index 12d42d5..3ed9bd5 100644
--- a/default.nix
+++ b/default.nix
@@ -37,11 +37,6 @@ let
       mesonBuildType = "debug";
       hardeningDisable = [ "all" ];
       dontStrip = true;
-      # Keep files generated by GCOV, so depending jobs can use them.
-      postInstall = pkgs.lib.optionalString doCoverage ''
-        mkdir -p $out/gcno
-        cp batsched.p/*.gcno $out/gcno/
-      '';
     });
 
     # Batmen integration tests.
-- 
GitLab