Re: customizing coverage

[Ludovic Courtès]

Hello!

Thien-Thi Nguyen <address@hidden> skribis:

> For the "coverage" job only, i'd like to specify ‘-DUSE_NORMAL_EXIT’
> (either in ‘CFLAGS’ or ‘CPPFLAGS’).  Is that possible?

Yes:

diff --git a/rcs/release.nix b/rcs/release.nix
index c8d2237..29e3b62 100644
--- a/rcs/release.nix
+++ b/rcs/release.nix
@@ -70,6 +70,7 @@ in
 
       coverage = pkgs: {
         buildInputs = [pkgs.ed];
+        CPPFLAGS = "-DUSE_NORMAL_EXIT";
         inherit configureFlags;
       };
 

Thanks,
Ludo’.