mirror of
https://github.com/koreader/koreader
synced 2024-11-10 01:10:34 +00:00
76bdb7e65c
Don't cache the whole base directory; instead independently cache: - the build output directory - the ccache directory This allow completely avoiding the need for building base if a cache (keyed on the relevant parts of the git tree for base) is successfully restored, as well as reducing the amount of cached data. Additionally, ensure caches are isolated by branch name (but allow falling back to a "master" cache for restore): we don't want PRs using each others' caches.
15 lines
246 B
Bash
Executable File
15 lines
246 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
# shellcheck source=/dev/null
|
|
source "${CI_DIR}/common.sh"
|
|
|
|
# Build.
|
|
cmd=(make all)
|
|
if [[ -d base/build ]]; then
|
|
cmd+=(--assume-old=base)
|
|
fi
|
|
"${cmd[@]}"
|
|
|
|
# vim: sw=4
|