From 9b5885ad20dba9a43d369af1bc0f708abb8ce8b5 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 31 May 2017 16:04:06 +0200
Subject: bin/build-packages: ignore failed "git pull"

---
 bin/build-packages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/build-packages')

diff --git a/bin/build-packages b/bin/build-packages
index 9f3e08c..85538f0 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -120,7 +120,7 @@ while [ ${count} -ne 0 ]; do
         git -C "${repo}" clean -df
         git -C "${repo}" reset --hard
         git -C "${repo}" checkout master
-        git -C "${repo}" pull
+        git -C "${repo}" pull || true
       done
 
       git -C "${repo_paths["$(find_repository_with_commit "${git_revision}")"]}" checkout "${git_revision}" &> /dev/null
-- 
cgit v1.2.3-54-g00ecf