diff options
| author | Tomáš Gavenčiak <gavento@ucw.cz> | 2018-03-27 14:32:45 +0200 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-03-27 11:36:14 -0500 |
| commit | 8c7b06d3cbc78f02ae0c3906f8b8e57c8aeb2daf (patch) | |
| tree | 0450c4063286785fc3f831da353ab431badc797f /src/doc/rustc-dev-guide | |
| parent | ae62bb6cf46386e5c593ecf51557d154c22761c6 (diff) | |
| download | rust-8c7b06d3cbc78f02ae0c3906f8b8e57c8aeb2daf.tar.gz rust-8c7b06d3cbc78f02ae0c3906f8b8e57c8aeb2daf.zip | |
Add info on test result caching
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/tests/running.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/tests/running.md b/src/doc/rustc-dev-guide/src/tests/running.md index 6bac0121a03..84cead4bf57 100644 --- a/src/doc/rustc-dev-guide/src/tests/running.md +++ b/src/doc/rustc-dev-guide/src/tests/running.md @@ -13,6 +13,12 @@ a very long time, and anyway bors / travis will do it for you. (Often, I will run this command in the background after opening a PR that I think is done, but rarely otherwise. -nmatsakis) +The test results are cached and previously successfull tests are +`ignored` during testing. The stdout/stderr contents as well as a +timestamp file for every test can be found under `build/ARCH/test/`. +To force-rerun a test (e.g. in case the test runner fails to notice +a change) you can simply remove the timestamp file. + ## Running a subset of the test suites When working on a specific PR, you will usually want to run a smaller |