index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-07-08 13:01:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-07-08 13:01:52 +0200 |
commit | e21de46e313c7a498bf8e4793de61c652fca5b44 (patch) | |
tree | da2086e971998c8f93cfd3542a2d4623926ea1f4 | |
parent | f9865ea65f4dece0bed5526289136d672e13ef44 (diff) |
-rwxr-xr-x | bin/check-mirrors | 3 |
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' | \ |