From a5ce17f743129adc4ca8ddb95c57b87e8b2decb7 Mon Sep 17 00:00:00 2001
From: mark <markm@cs.wisc.edu>
Date: Tue, 10 Nov 2020 22:04:23 -0600
Subject: [PATCH] turn off caching for normal CI runs

Co-authored-by: Joshua Nelson <joshua@yottadb.com>
---
 .travis.yml     | 1 +
 ci/linkcheck.sh | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index de1392e88..052f6e292 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,6 +18,7 @@ script:
 - git rebase origin/master
 - git log --oneline | head -n 10
 - mdbook build
+- { [ -e /tmp/cache.json ] && mv /tmp/cache.json book/linkcheck/cache.json; } || echo "No cache to restore."
 notifications:
   email: false
 env:
diff --git a/ci/linkcheck.sh b/ci/linkcheck.sh
index d827b8476..515e47659 100755
--- a/ci/linkcheck.sh
+++ b/ci/linkcheck.sh
@@ -18,6 +18,9 @@ elif [ "$CI" = "true" ] ; then # running in PR CI build
   FLAGS="-f $CHANGED_FILES"
 
   echo "Checking files changed in $TRAVIS_COMMIT_RANGE: $CHANGED_FILES"
+
+  echo "Temporarily removing cache (see .travis.yml)"
+  mv $TRAVIS_BUILD_DIR/book/linkcheck/cache.json /tmp/cache.json
 else # running locally
   COMMIT_RANGE=master...
   CHANGED_FILES=$(git diff --name-only $COMMIT_RANGE | tr '\n' ' ')