Git: fetch before checkout'ing a branch

This commit is contained in:
2018-08-17 12:55:37 +02:00
parent afdb0e977e
commit 34dd5eec25

View File

@@ -270,6 +270,7 @@ if [ ! -d "${SOURCE_DIRECTORY}" ]; then
${GIT_C} submodule update --init --recursive ${GIT_C} submodule update --init --recursive
else else
echo "Switching to benchmark branch..." echo "Switching to benchmark branch..."
${GIT_C} fetch --prune
${GIT_C} checkout ${GIT_BENCHMARK_BRANCH} ${GIT_C} checkout ${GIT_BENCHMARK_BRANCH}
fi fi