diff options
author | 2020-02-22 20:54:08 -0800 | |
---|---|---|
committer | 2020-02-22 20:54:08 -0800 | |
commit | 736f9b1587061bbbabacb4ee65dc3b4989887d75 (patch) | |
tree | c25306d21e5e6161d63878b486fc67a9af5ebe20 | |
parent | CI: fix unbound variable error when checking cache (diff) |
CI: log when the build cache is used
-rwxr-xr-x | scripts/check_dockerfiles.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/check_dockerfiles.sh b/scripts/check_dockerfiles.sh index a94ccb4..95c18cb 100755 --- a/scripts/check_dockerfiles.sh +++ b/scripts/check_dockerfiles.sh @@ -20,6 +20,7 @@ get_build() { # Attempt to use cached value if [[ -v build_cache["${branch}"] ]]; then + printf '%s\n' "Retrieving build for ${branch} from cache." >&3 printf '%s' "${build_cache[$branch]}" return 0 fi |