diff options
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 61ca4323c..1af6424dd 100644 --- a/release.nix +++ b/release.nix @@ -200,7 +200,7 @@ let doInstallCheck = true; - lcovFilter = [ "*/boost/*" "*-tab.*" "*/nlohmann/*" "*/linenoise/*" ]; + lcovFilter = [ "*/boost/*" "*-tab.*" ]; # We call `dot', and even though we just use it to # syntax-check generated dot files, it still requires some |