Skip to content

Commit 5896390

Browse files
authored
Mention mutants.out is not copied
1 parent c6bdb3a commit 5896390

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

book/src/build-dirs.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -34,3 +34,7 @@ The filter, based on the [`ignore` crate](https://docs.rs/ignore/), also respect
3434
This behavior can be turned off with `--gitignore=false`, causing ignored files to be copied.
3535

3636
Rust projects typically configure gitignore to exclude the `target/` directory.
37+
38+
## `mutants.out`
39+
40+
`mutants.out` and `mutants.out.old` are never copied, even if they're not covered by `.gitignore`.

0 commit comments

Comments
 (0)