2015-07-05 00:52:36 -07:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -o pipefail
|
|
|
|
|
2017-04-04 10:15:30 -07:00
|
|
|
CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
2018-03-11 12:15:30 -07:00
|
|
|
source "${CI_DIR}/common/build.sh"
|
2017-04-04 10:15:30 -07:00
|
|
|
source "${CI_DIR}/common/suite.sh"
|
|
|
|
|
2018-03-17 17:04:53 -07:00
|
|
|
echo "before_cache.sh: cache size"
|
2019-07-30 14:21:12 -07:00
|
|
|
du -chd 1 "${HOME}/.cache" | sort -rh | head -20
|
2018-03-17 17:04:53 -07:00
|
|
|
|
2018-05-01 04:02:11 -07:00
|
|
|
echo "before_cache.sh: ccache stats"
|
|
|
|
ccache -s 2>/dev/null || true
|
2019-07-30 14:21:12 -07:00
|
|
|
# Do not keep ccache stats (uploaded to cache otherwise; reset initially anyway).
|
|
|
|
find "${HOME}/.ccache" -name stats -delete
|
2018-05-01 04:02:11 -07:00
|
|
|
|
2015-07-05 00:52:36 -07:00
|
|
|
# Update the third-party dependency cache only if the build was successful.
|
2017-04-04 10:15:30 -07:00
|
|
|
if ended_successfully; then
|
2019-07-30 14:21:12 -07:00
|
|
|
# Do not cache downloads. They should not be needed with up-to-date deps.
|
|
|
|
rm -rf "${DEPS_BUILD_DIR}/build/downloads"
|
|
|
|
rm -rf "${CACHE_NVIM_DEPS_DIR}"
|
|
|
|
mv "${DEPS_BUILD_DIR}" "${CACHE_NVIM_DEPS_DIR}"
|
2018-03-15 23:29:43 -07:00
|
|
|
|
2015-09-08 03:48:04 -07:00
|
|
|
touch "${CACHE_MARKER}"
|
2018-03-11 12:15:30 -07:00
|
|
|
echo "Updated third-party dependencies (timestamp: $(_stat "${CACHE_MARKER}"))."
|
2015-07-05 00:52:36 -07:00
|
|
|
fi
|