diff options
author | Nadrieril Feneanar | 2020-03-20 19:04:17 +0000 |
---|---|---|
committer | GitHub | 2020-03-20 19:04:17 +0000 |
commit | c944a61c17cffde8620c46c70fceb36462b082ca (patch) | |
tree | 4722f8c1b934e0398e4676d2e396dbac93e816d0 /dhall/build.rs | |
parent | 6f06ff5e6168f4a55b4dcc1175f89b1d67c98ab1 (diff) | |
parent | 48bc731fe8eb7d4ecfad5e8f834754c3a91e4359 (diff) |
Merge pull request #153 from Nadrieril/grcov
Use grcov for coverage
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index fb3f9ee..19abcc4 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -333,7 +333,7 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/MergeHandlerFreeVar" }), output_type: Some(FileType::UI), - ..default_feature.clone() + ..default_feature }, ]; @@ -450,7 +450,7 @@ fn convert_abnf_to_pest() -> std::io::Result<()> { Ok(()) } -// Generate pest parser manually becaue otherwise we'd need to modify something outside of +// Generate pest parser manually because otherwise we'd need to modify something outside of // OUT_DIR and that's forbidden by docs.rs. fn generate_pest_parser() -> std::io::Result<()> { let out_dir = env::var("OUT_DIR").unwrap(); |