diff options
| author | Sebastian Kemper <sebastian_ml@gmx.net> | 2018-05-13 11:13:27 +0200 |
|---|---|---|
| committer | Sebastian Kemper <sebastian_ml@gmx.net> | 2018-05-13 11:14:46 +0200 |
| commit | 7053b12912133a40759e729cfc30bcf49c8683f6 (patch) | |
| tree | a3023dfbcbeb284e3cff306ec34b125dcdf9c260 /utils | |
| parent | 13321a569720ec297b721f925cec6860eac3c478 (diff) | |
mariadb: add source mirrors
As suggested by Daniel Engberg, add some mirror servers to offload from
MariaDB's main download server.
Signed-off-by: Sebastian Kemper <sebastian_ml@gmx.net>
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/mariadb/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/utils/mariadb/Makefile b/utils/mariadb/Makefile index 8aea0043b..545daba01 100644 --- a/utils/mariadb/Makefile +++ b/utils/mariadb/Makefile @@ -12,7 +12,11 @@ PKG_VERSION:=10.1.33 PKG_RELEASE:=1 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.gz -PKG_SOURCE_URL:=https://downloads.mariadb.org/interstitial/$(PKG_NAME)-$(PKG_VERSION)/source +PKG_SOURCE_URL := \ + https://mirror.netcologne.de/mariadb/$(PKG_NAME)-$(PKG_VERSION)/source \ + https://mirror.lstn.net/mariadb/$(PKG_NAME)-$(PKG_VERSION)/source \ + https://ftp.yz.yamagata-u.ac.jp/pub/dbms/mariadb/$(PKG_NAME)-$(PKG_VERSION)/source \ + https://downloads.mariadb.org/interstitial/$(PKG_NAME)-$(PKG_VERSION)/source PKG_HASH:=94312c519f2c0c25e1964c64e22aff0036fb22dfb2685638f43a6b2211395d2d PKG_MAINTAINER:=Sebastian Kemper <sebastian_ml@gmx.net> |