From d773fb1ed19c1a2be2aa747224a77930eb99c2eb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fabian=20Bl=C3=A4se?= <fabian@blaese.de>
Date: Fri, 4 Jun 2021 00:27:22 +0200
Subject: [PATCH] buildscript: fix fetch step

---
 buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildscript b/buildscript
index 0ebff150..76cfac64 100755
--- a/buildscript
+++ b/buildscript
@@ -59,7 +59,7 @@ checkout_git(){
             # Select desired commit and remove local changes (-f)
             if ! $MYGIT checkout -f "$COMMITID" ; then
                 echo "commitid not found trying to fetch new commits"
-                $MYGIT pull && $MYGIT checkout "$COMMITID"
+                $MYGIT fetch --all && $MYGIT checkout "$COMMITID"
             fi
         else
             echo "wrong remote or not an git repo at all -> deleting whole directory"