diff --git a/nix/default.nix b/nix/default.nix index e6718411b5a9cb7867c177d8deaf79d84c204bc3..139b30bb8501510da6b1abda14d9f55587286d85 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