Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-05-31 16:04:06 +0200
committerErich Eckner <git@eckner.net>2017-05-31 16:04:06 +0200
commit9b5885ad20dba9a43d369af1bc0f708abb8ce8b5 (patch)
tree413f991e3b981b9b8cfbd2ad7dec3a66157e145e
parent89d61aab4f640071a3a28c9ffd3d10e2af2d2df2 (diff)
bin/build-packages: ignore failed "git pull"
-rwxr-xr-xbin/build-packages2
1 files changed, 1 insertions, 1 deletions
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