configs: add several mirrors for gnome url 61/4261/1
authorJackie Huang <jackie.huang@windriver.com>
Mon, 29 Jun 2020 11:22:32 +0000 (19:22 +0800)
committerJackie Huang <jackie.huang@windriver.com>
Mon, 29 Jun 2020 12:07:04 +0000 (20:07 +0800)
commitadc228d096b8d65f370a76aa0f33b19ae8f8fee1
tree971c4ab8873de15777110e13ec1a8c5a956887db
parent835d64bf2fab92d8504df06afcfa158ca2476192
configs: add several mirrors for gnome url

Add several mirrors for gnome url just in case the
ftp.gnome.org is too busy or is unreachable.

Issue-ID: INF-177
Signed-off-by: Jackie Huang <jackie.huang@windriver.com>
Change-Id: Ia4f5ed36e5576706b17fbb359d3d51b48ac326aa
scripts/build_inf.sh
scripts/configs/local-mirrors.conf [new file with mode: 0644]