diff options
Diffstat (limited to 'ci/before_cache.sh')
-rwxr-xr-x | ci/before_cache.sh | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/ci/before_cache.sh b/ci/before_cache.sh deleted file mode 100755 index 3daeb04793..0000000000 --- a/ci/before_cache.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/usr/bin/env bash - -set -e -set -o pipefail - -CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" -# shellcheck source-path=SCRIPTDIR -source "${CI_DIR}/common/build.sh" -# shellcheck source-path=SCRIPTDIR -source "${CI_DIR}/common/suite.sh" - -mkdir -p "${HOME}/.cache" - -echo "before_cache.sh: cache size" -du -chd 1 "${HOME}/.cache" | sort -rh | head -20 - -# Update the third-party dependency cache only if the build was successful. -if ended_successfully && [ -d "${DEPS_BUILD_DIR}" ]; then - # 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}" - - touch "${CACHE_MARKER}" - echo "Updated third-party dependencies (timestamp: $(_stat "${CACHE_MARKER}"))." -fi |