diff options
| author | mark <markm@cs.wisc.edu> | 2020-11-23 14:49:04 -0600 |
|---|---|---|
| committer | Joshua Nelson <joshua@yottadb.com> | 2020-11-23 18:42:24 -0500 |
| commit | 805527920933667cf40e894b786962189f616fef (patch) | |
| tree | 2de3527a006c667f48ee490aaed036e62aa2b3b0 /src/doc/rustc-dev-guide/ci | |
| parent | 36fb53e9843d927a2b8f81c711e67d3c1d2bb09b (diff) | |
don't use cache while running PR builds
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/linkcheck.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/linkcheck.sh b/src/doc/rustc-dev-guide/ci/linkcheck.sh index d827b8476df..41cb6a35e45 100755 --- a/src/doc/rustc-dev-guide/ci/linkcheck.sh +++ b/src/doc/rustc-dev-guide/ci/linkcheck.sh @@ -15,7 +15,7 @@ elif [ "$CI" = "true" ] ; then # running in PR CI build fi CHANGED_FILES=$(git diff --name-only $TRAVIS_COMMIT_RANGE | tr '\n' ' ') - FLAGS="-f $CHANGED_FILES" + FLAGS="--no-cache -f $CHANGED_FILES" echo "Checking files changed in $TRAVIS_COMMIT_RANGE: $CHANGED_FILES" else # running locally |