Update lcov filter

This commit is contained in:
Eelco Dolstra 2017-11-14 18:47:37 +01:00
parent ec5b04862b
commit 4b45d8c95a
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -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