koreader/.ci/build.sh

#!/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 build ]]; then
    cmd+=(--assume-old=base)
fi
"${cmd[@]}"

# vim: sw=4
Add CircleCI (#3321) 2017-09-07 04:26:20 +00:00			`#!/usr/bin/env bash`

			`CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"`
			`# shellcheck source=/dev/null`
			`source "${CI_DIR}/common.sh"`

ci/circle: improve caching 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. 2024-05-13 19:33:53 +00:00			`# Build.`
			`cmd=(make all)`
make: directly include base main makefile 2024-07-30 23:55:36 +00:00			`if [[ -d build ]]; then`
ci/circle: improve caching 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. 2024-05-13 19:33:53 +00:00			`cmd+=(--assume-old=base)`
			`fi`
			`"${cmd[@]}"`

			`# vim: sw=4`