diff options
Diffstat (limited to 'ci/before_cache.sh')
| -rwxr-xr-x | ci/before_cache.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/before_cache.sh b/ci/before_cache.sh index 3d7cc0ec5a..2340f4db74 100755 --- a/ci/before_cache.sh +++ b/ci/before_cache.sh @@ -4,6 +4,7 @@ set -e set -o pipefail CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" +source "${CI_DIR}/common/build.sh" source "${CI_DIR}/common/suite.sh" # Don't cache pip's log and selfcheck. @@ -15,5 +16,5 @@ if ended_successfully; then rm -rf "${HOME}/.cache/nvim-deps" mv "${DEPS_BUILD_DIR}" "${HOME}/.cache/nvim-deps" touch "${CACHE_MARKER}" - echo "Updated third-party dependencies (timestamp: $(stat -c '%y' "${CACHE_MARKER}"))." + echo "Updated third-party dependencies (timestamp: $(_stat "${CACHE_MARKER}"))." fi |