diff options
author | Hannu Nyman <hannu.nyman@iki.fi> | 2016-10-14 11:09:47 +0300 |
---|---|---|
committer | Stijn Tintel <stijn@linux-ipv6.be> | 2016-10-21 15:49:01 +0300 |
commit | 66d604d4a8941c41abda818dcd2942ff4ee8461a (patch) | |
tree | cf44438b2993fe9a7e63f87b10665a3a2ee16d5f /tools/mpfr | |
parent | 8cc922411561dfa6f65fbb492a7bdb6fb9bbb6d5 (diff) | |
download | upstream-66d604d4a8941c41abda818dcd2942ff4ee8461a.tar.gz upstream-66d604d4a8941c41abda818dcd2942ff4ee8461a.tar.bz2 upstream-66d604d4a8941c41abda818dcd2942ff4ee8461a.zip |
busybox: adjust download mirror
* Adjust download locations:
- use https as busybox.net permanently redirects http to https
- gentoo mirror has neither 1.25.0 nor 1.25.1 available, so drop it
in favor of buildroot.net that has 1.25.1
Signed-off-by: Hannu Nyman <hannu.nyman@iki.fi>
Signed-off-by: Stijn Tintel <stijn@linux-ipv6.be>
Diffstat (limited to 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions