diff options
Diffstat (limited to 'src/gcc-mpfr.mk')
-rw-r--r-- | src/gcc-mpfr.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gcc-mpfr.mk b/src/gcc-mpfr.mk index e4d41dd..60dac45 100644 --- a/src/gcc-mpfr.mk +++ b/src/gcc-mpfr.mk @@ -13,7 +13,7 @@ $(PKG)_URL := http://www.mpfr.org/mpfr-$($(PKG)_VERSION)/$($(PKG)_FILE) $(PKG)_DEPS := define $(PKG)_UPDATE - wget -q -O- 'https://gforge.inria.fr/scm/viewvc.php/tags/?root=mpfr&sortby=date' | \ + wget -q --no-check-certificate -O- 'https://gforge.inria.fr/scm/viewvc.php/tags/?root=mpfr&sortby=date' | \ $(SED) -n 's,.*<a name="\([0-9][^"]*\)".*,\1,p' | \ head -1 endef |