diff options
-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' | \ |