From f4465bd2a61e7814cb339c7ef9d38018db400766 Mon Sep 17 00:00:00 2001 From: Salvatore Bonaccorso Date: Thu, 22 Sep 2022 11:38:06 +0200 Subject: Makefile: MIRROR: Switch to deb.debian.org directly This did not work well in past but let's try it now again. debian.csail.mit.edu would be the neares mirror as soriano is hosted at csail, but debian.csail.mit.edu is from time to time unstable. If deb.debian.org will not work stable enough for our processings due to the redirects involved, then we can switch to mirrors.wikimedia.org. Signed-off-by: Salvatore Bonaccorso --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d58e9b0e7e..508cf80091 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ PYTHON_MODULES = $(wildcard lib/python/*.py) -MIRROR = http://debian.csail.mit.edu/debian +MIRROR = http://deb.debian.org/debian SECURITY_MIRROR = http://security.debian.org/debian-security # Include the definitions of the releases to be fetched -- cgit v1.2.3