diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-31 16:04:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-31 16:04:06 +0200 |
| commit | 9b5885ad20dba9a43d369af1bc0f708abb8ce8b5 (patch) | |
| tree | 413f991e3b981b9b8cfbd2ad7dec3a66157e145e | |
| parent | 89d61aab4f640071a3a28c9ffd3d10e2af2d2df2 (diff) | |
| download | builder-9b5885ad20dba9a43d369af1bc0f708abb8ce8b5.tar.xz | |
bin/build-packages: ignore failed "git pull"
| -rwxr-xr-x | bin/build-packages | 2 |
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 |