mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-11-27 13:53:31 +01:00
Travis: merge before_cache from 29036 and 29962
And add some useful comments
This commit is contained in:
parent
124990aa01
commit
33be8d8295
10
.travis.yml
10
.travis.yml
@ -5,9 +5,10 @@ cache:
|
|||||||
## cargo: true
|
## cargo: true
|
||||||
directories:
|
directories:
|
||||||
- $HOME/.cargo
|
- $HOME/.cargo
|
||||||
|
## caching CARGO_TARGET_DIR actually slows down the build over time,
|
||||||
before_cache:
|
## because old build products are never deleted.
|
||||||
- rm -rf $HOME/.cargo/registry
|
## where we point CARGO_TARGET_DIR in all our cargo invocations
|
||||||
|
#- $TRAVIS_BUILD_DIR/src/rust/target
|
||||||
|
|
||||||
compiler:
|
compiler:
|
||||||
- gcc
|
- gcc
|
||||||
@ -217,6 +218,9 @@ after_failure:
|
|||||||
before_cache:
|
before_cache:
|
||||||
## Delete all gcov files.
|
## Delete all gcov files.
|
||||||
- if [[ "$COVERAGE_OPTIONS" != "" ]]; then make reset-gcov; fi
|
- 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:
|
notifications:
|
||||||
irc:
|
irc:
|
||||||
|
Loading…
Reference in New Issue
Block a user