diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-18 08:27:05 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-18 08:27:05 +0200 |
| commit | ed6904a5c0732424f34c5b3ba42eb6974ca62f26 (patch) | |
| tree | bbe0725145de028f288fa0d9731f72ae6ccf80c4 /bin/build-packages | |
| parent | eb25860126fd5e88f05232b522afc8a964a55646 (diff) | |
| download | builder-ed6904a5c0732424f34c5b3ba42eb6974ca62f26.tar.xz | |
make "git remote update" failure non-fatal - if it is actually required, we will fail later anyways
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index aa77b00..adc3aaa 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -248,7 +248,8 @@ while [ "${count}" -ne 0 ] && \ for repo_name in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo_name}"'}"' - git -C "${repo_path}" remote update + git -C "${repo_path}" remote update || \ + true done git_repo=$(find_repository_with_commit "${git_revision}") |