From 24de9ce16d14d9d651cc8bf163f39733d244d6e4 Mon Sep 17 00:00:00 2001 From: Andreas Gampe Date: Tue, 9 Jan 2024 07:11:39 -0800 Subject: [PATCH] Copy older cache Summary: To avoid jfrog being down right now. Differential Revision: D52626633 --- .circleci/config.yml | 4 ++++ setup_oss_toolchain.sh | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/.circleci/config.yml b/.circleci/config.yml index c519a5c0bb8..c10c52aa0be 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -105,6 +105,10 @@ commands: - restore_cache: keys: - boost-1-71-0-v5 + # Temporarily to bypass jfrog downtime. + - restore_cache: + keys: + - boost-1-71-0-v4 - restore_cache: keys: - protobuf3-v3 diff --git a/setup_oss_toolchain.sh b/setup_oss_toolchain.sh index 70ea34cc65a..2c52c4e35a3 100755 --- a/setup_oss_toolchain.sh +++ b/setup_oss_toolchain.sh @@ -22,6 +22,12 @@ if [ -z "$TOOLCHAIN_TMP" ] ; then else echo "Using toolchain tmp $TOOLCHAIN_TMP" mkdir -p "$TOOLCHAIN_TMP" + + # Temporarily to bypass jfrog downtime. + if [ -d "dl_cache" ] && [ ! -d "$TOOLCHAIN_TMP/dl_cache" ] ; then + echo "Copying older cache..." + cp -r dl_cache "$TOOLCHAIN_TMP/" + fi fi if [ "$1" = "32" ] ; then