mirrors: Add Debian source mirrors

diff --git a/include/download.mk b/include/download.mk
index c9ef95e0bf98c456d9448ae909d140e146595275..66453dca759bdc249c36e901d4080cc2074f57ab 100644 (file)
--- a/include/download.mk
+++ b/include/download.mk
@@ -28,7 +28,7 @@ define dl_method
 $(strip \
   $(if $(filter git,$(2)),$(call dl_method_git,$(1),$(2)),
     $(if $(2),$(2), \
-      $(if $(filter @APACHE/% @GITHUB/% @GNOME/% @GNU/% @KERNEL_LIBRE/% @KERNEL/% @SF/% @SAVANNAH/% ftp://% http://% https://% file://%,$(1)),default, \
+      $(if $(filter @APACHE/% @DEBIAN/% @GITHUB/% @GNOME/% @GNU/% @KERNEL_LIBRE/% @KERNEL/% @SF/% @SAVANNAH/% ftp://% http://% https://% file://%,$(1)),default, \
         $(if $(filter git://%,$(1)),$(call dl_method_git,$(1),$(2)), \
           $(if $(filter svn://%,$(1)),svn, \
             $(if $(filter cvs://%,$(1)),cvs, \

diff --git a/scripts/download.pl b/scripts/download.pl
index 99b26990db4240253198ff35fa15827a070f27af..4110c4115246b4071eef0b77b10131b6a868519e 100755 (executable)
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -203,6 +203,10 @@ foreach my $mirror (@ARGV) {
                push @mirrors, "http://ftp.jaist.ac.jp/pub/apache/$1";
                push @mirrors, "ftp://apache.cs.utah.edu/apache.org/$1";
                push @mirrors, "ftp://apache.mirrors.ovh.net/ftp.apache.org/dist/$1";
+       } elsif ($mirror =~ /^\@DEBIAN\/(.+)$/) {
+               push @mirrors, "https://ftp.debian.org/debian/$1";
+               push @mirrors, "https://mirror.leaseweb.com/debian/$1";
+               push @mirrors, "https://mirror.netcologne.de/debian/$1";
        } elsif ($mirror =~ /^\@GITHUB\/(.+)$/) {
                # give github a few more tries (different mirrors)
                for (1 .. 5) {