summaryrefslogtreecommitdiff
path: root/bin/get-package-updates
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-18 08:27:05 +0200
committerErich Eckner <git@eckner.net>2018-06-18 08:27:05 +0200
commited6904a5c0732424f34c5b3ba42eb6974ca62f26 (patch)
treebbe0725145de028f288fa0d9731f72ae6ccf80c4 /bin/get-package-updates
parenteb25860126fd5e88f05232b522afc8a964a55646 (diff)
downloadbuilder-ed6904a5c0732424f34c5b3ba42eb6974ca62f26.tar.xz
make "git remote update" failure non-fatal - if it is actually required, we will fail later anyways
Diffstat (limited to 'bin/get-package-updates')
-rwxr-xr-xbin/get-package-updates3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates
index 997a260..e6b7711 100755
--- a/bin/get-package-updates
+++ b/bin/get-package-updates
@@ -153,7 +153,8 @@ something_new=false
for repo in ${repo_names}; do
eval repo_path='"${repo_paths__'"${repo}"'}"'
# Update git repositories (official packages, community packages and the repository of package customizations).
- git -C "${repo_path}" remote update
+ git -C "${repo_path}" remote update || \
+ true
# read previous git revision numbers from database.
# shellcheck disable=SC2016
eval "old_repo_revisions__${repo}='$(