diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T17·47+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T17·47+0100 |
| commit | 4b45d8c95a037a9962842836be3073fda7329105 (patch) | |
| tree | 7269dfe2334c73c268ab6a465f1d62e1b2dc195a | |
| parent | ec5b04862ba48e6d7e61c8bf730ae37d48b6f70a (diff) | |
Update lcov filter
| -rw-r--r-- | release.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 0f9468dc75a1..56b88488a3f1 100644 --- a/release.nix +++ b/release.nix @@ -196,7 +196,7 @@ let doInstallCheck = true; - lcovFilter = [ "*/boost/*" "*-tab.*" ]; + lcovFilter = [ "*/boost/*" "*-tab.*" "*/nlohmann/*" "*/linenoise/*" ]; # We call `dot', and even though we just use it to # syntax-check generated dot files, it still requires some |