diff options
author | teor <teor@torproject.org> | 2019-04-01 14:05:14 +1000 |
---|---|---|
committer | teor <teor@torproject.org> | 2019-04-01 14:08:34 +1000 |
commit | 33be8d8295415491fc06bee47729e86d9efcd126 (patch) | |
tree | 62198c71b3b338fa851a03a02f56b382b0453ba6 | |
parent | 124990aa01c8151fad98a6979e5996d5fbb3f51a (diff) | |
download | tor-33be8d8295415491fc06bee47729e86d9efcd126.tar.gz tor-33be8d8295415491fc06bee47729e86d9efcd126.zip |
Travis: merge before_cache from 29036 and 29962
And add some useful comments
-rw-r--r-- | .travis.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 4b2a1ffd7a..ed805aac31 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,9 +5,10 @@ cache: ## cargo: true directories: - $HOME/.cargo - -before_cache: - - rm -rf $HOME/.cargo/registry + ## caching CARGO_TARGET_DIR actually slows down the build over time, + ## because old build products are never deleted. + ## where we point CARGO_TARGET_DIR in all our cargo invocations + #- $TRAVIS_BUILD_DIR/src/rust/target compiler: - gcc @@ -217,6 +218,9 @@ after_failure: before_cache: ## Delete all gcov files. - if [[ "$COVERAGE_OPTIONS" != "" ]]; then make reset-gcov; fi + ## Delete the cargo registry before caching .cargo, because it's cheaper to + ## download the registry and throw it away, rather than caching it + - rm -rf $HOME/.cargo/registry notifications: irc: |