ci-build: Use a mirror that hopefully works better than Sourceforge

Signed-off-by: Simon McVittie <smcv@collabora.com>
(cherry picked from commit c6e79f9113d320679d3c29f83b306cb6e5d81bee)

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 79d54deb25b35a1cf5d50985f83e414b6ce07b41..41e72cf69b515084812dc68f3b97e335872ca529 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -95,7 +95,7 @@ make="make -j${ci_parallel} V=1 VERBOSE=1"
 
 case "$ci_host" in
     (mingw)
-        mirror=http://sourceforge.net/projects/msys2/files/REPOS/MINGW/i686/
+        mirror=http://repo.msys2.org/msys/i686
         mingw="$(pwd)/mingw32"
         install -d "${mingw}"
         export PKG_CONFIG_LIBDIR="${mingw}/lib/pkgconfig"