From 34dd5eec2523494ff8864ad403bc4c047e9220f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sybren=20A=2E=20St=C3=BCvel?= <sybren@stuvel.eu>
Date: Fri, 17 Aug 2018 12:55:37 +0200
Subject: [PATCH] Git: fetch before checkout'ing a branch

---
 bundle/bundle.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bundle/bundle.sh b/bundle/bundle.sh
index a60cb21..30341aa 100755
--- a/bundle/bundle.sh
+++ b/bundle/bundle.sh
@@ -270,6 +270,7 @@ if [ ! -d "${SOURCE_DIRECTORY}" ]; then
   ${GIT_C} submodule update --init --recursive
 else
   echo "Switching to benchmark branch..."
+  ${GIT_C} fetch --prune
   ${GIT_C} checkout ${GIT_BENCHMARK_BRANCH}
 fi