From 128eab68dea3f12984cf2151e218ab343fdc091f Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 3 Sep 2021 13:48:24 +0200
Subject: [PATCH] [nix] Strict headers check
The warnings are treated as errors when executing `make check-headers`.
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index e6718411b5a..139b30bb850 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -105,7 +105,7 @@ pkgs.lib.makeExtensible
buildPhase = ''
make lint
make stats-lint
- make check-headers
+ STRICT_HEADERS=yes make check-headers
'';
installPhase = ''
true
--
GitLab