Changed gmp download mirror to official gnu https server

This commit is contained in:
Kilian Holzinger 2014-06-19 11:37:37 +02:00
parent dc3a20a36e
commit 0f26f6af69

View file

@ -108,7 +108,7 @@ Build:0.9.13-0_b1-API8,4745216
mv libs/android-support-v4.jar $$Support$$/libs/ && \
echo -e "sdk.dir=$$SDK$$\ni2psrc=./i2p.i2p" >> ./local.properties && \
echo -e "sdk.dir=$$SDK$$\nndk.dir=$$NDK$$\ni2psrc=./../i2p.i2p" >> ./routerjars/local.properties && \
wget ftp://ftp.gmplib.org/pub/gmp-4.3.2/gmp-4.3.2.tar.bz2 && \
wget https://ftp.gnu.org/gnu/gmp/gmp-4.3.2.tar.bz2 && \
tar xjvf gmp-4.* -C ./i2p.i2p/core/c/jbigi/ && \
rm ./gmp-4.*
scandelete=i2p.i2p,routerjars/jni