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