diff options
| author | Ralf Jung <post@ralfj.de> | 2019-08-01 21:06:25 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-08-08 19:31:46 +0200 |
| commit | 295f894b18fedd1ff5748ef122166840a8b83e3c (patch) | |
| tree | c41c3af5e55c6a558433541809cc36e2701b615d | |
| parent | 2d49118fb4847de19c5263b1c8789c9ef600461a (diff) | |
remove test-miri from config.toml.example
| -rw-r--r-- | config.toml.example | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/config.toml.example b/config.toml.example index 6816eaeaa94..cb9f388a8e4 100644 --- a/config.toml.example +++ b/config.toml.example @@ -368,10 +368,6 @@ # When creating source tarballs whether or not to create a source tarball. #dist-src = false -# Whether to also run the Miri tests suite when running tests. -# As a side-effect also generates MIR for all libraries. -#test-miri = false - # After building or testing extended tools (e.g. clippy and rustfmt), append the # result (broken, compiling, testing) into this JSON file. #save-toolstates = "/path/to/toolstates.json" |