index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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/get-package-updates | |
parent | eb25860126fd5e88f05232b522afc8a964a55646 (diff) |
-rwxr-xr-x | bin/get-package-updates | 3 |
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}='$( |