diff options
| 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 /bin | |
| parent | f9865ea65f4dece0bed5526289136d672e13ef44 (diff) | |
| download | builder-e21de46e313c7a498bf8e4793de61c652fca5b44.tar.xz | |
bin/check-mirrors: do not fail if remote-update fails
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/check-mirrors | 3 |
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' | \ |