diff options
| author | Salvatore Bonaccorso <carnil@debian.org> | 2022-09-22 11:38:06 +0200 |
|---|---|---|
| committer | Salvatore Bonaccorso <carnil@debian.org> | 2022-09-22 11:38:06 +0200 |
| commit | f4465bd2a61e7814cb339c7ef9d38018db400766 (patch) | |
| tree | b83c93865a46d7343cd373d09feae434239dc760 /Makefile | |
| parent | 7922e0f71c198c4ee25a035f461d8f7c08ecf08c (diff) | |
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 <carnil@debian.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |