diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-10-22 20:12:23 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-11-07 18:23:17 +0100 |
| commit | 4145cd2da002e1bd8affa0392c80118eabe58e3c (patch) | |
| tree | 8d73d32c353fc930ebf131e1c2d768fe8b7edc80 /release.nix | |
| parent | e5bf81256c8a7ee9d725d4093853c76e0a562c66 (diff) | |
Use upstream nlohmann_json
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 |