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>2018-07-08 13:01:52 +0200
committerErich Eckner <git@eckner.net>2018-07-08 13:01:52 +0200
commite21de46e313c7a498bf8e4793de61c652fca5b44 (patch)
treeda2086e971998c8f93cfd3542a2d4623926ea1f4
parentf9865ea65f4dece0bed5526289136d672e13ef44 (diff)
bin/check-mirrors: do not fail if remote-update fails
-rwxr-xr-xbin/check-mirrors3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors
index 9d15f28..80524b8 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -5,7 +5,8 @@
if [ $# -eq 0 ]; then
- git -C "${releng_directory}" remote update
+ git -C "${releng_directory}" remote update || \
+ true
country_codes=$(
git -C "${releng_directory}" archive master -- 'flag-names' | \