changeset 1480:7a1a45447ffd

add alternative download URL for package gcc-mpfr
author Volker Grabsch <vog@notjusthosting.com>
date Tue, 07 Dec 2010 10:27:18 +0100
parents 181a330e281a
children 548268d4c32d
files src/gcc-mpfr.mk
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/gcc-mpfr.mk	Tue Dec 07 10:26:53 2010 +0100
+++ b/src/gcc-mpfr.mk	Tue Dec 07 10:27:18 2010 +0100
@@ -10,6 +10,7 @@
 $(PKG)_FILE     := $($(PKG)_SUBDIR).tar.bz2
 $(PKG)_WEBSITE  := http://www.mpfr.org/
 $(PKG)_URL      := http://www.mpfr.org/$($(PKG)_SUBDIR)/$($(PKG)_FILE)
+$(PKG)_URL_2    := http://ftp.gnu.org/gnu/mpfr/$($(PKG)_FILE)
 $(PKG)_DEPS     :=
 
 define $(PKG)_UPDATE