diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-08 12:34:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-08 12:35:06 +0200 |
| commit | ae6109a8acd9e981d69fe8a3a731e82b4e910b54 (patch) | |
| tree | 5817270feca9ac20f15cbb7b40c96fd46abf57b9 /bin/check-mirrors | |
| parent | 21ace23e0de67d11c4525554ab22d92eebf4e4d7 (diff) | |
| download | builder-ae6109a8acd9e981d69fe8a3a731e82b4e910b54.tar.xz | |
bin/check-mirrors: use git repository of releng
Diffstat (limited to 'bin/check-mirrors')
| -rwxr-xr-x | bin/check-mirrors | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors index 174ae50..49abf97 100755 --- a/bin/check-mirrors +++ b/bin/check-mirrors @@ -5,8 +5,11 @@ if [ $# -eq 0 ]; then + git -C "${releng_dir}" remote update + country_codes=$( - curl -Ss 'https://git.archlinux32.org/archlinux32/releng/raw/branch/master/flag-names' + git -C "${releng_dir}" archive master -- 'flag-names' | \ + tar -Ox ) tmp_file=$( |