diff options
author | Remi Collet <remi@php.net> | 2019-02-05 16:23:57 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2019-02-05 16:23:57 +0100 |
commit | ec23eebfe6e13402ad9bcd3cab812bf94e18e10c (patch) | |
tree | ea1f8c55556661020678177c917f42f9cab455ff | |
parent | 377f18ba5c08a99877cd5e2097eb31683a8b94ba (diff) | |
download | php-git-ec23eebfe6e13402ad9bcd3cab812bf94e18e10c.tar.gz |
workaround for pear server down
-rwxr-xr-x | makedist | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -118,7 +118,8 @@ sed -i 's,^#ifndef YYTOKENTYPE,#include "zend.h"\n#ifndef YYTOKENTYPE,g' $MY_OLD # download pear $ECHO_N "makedist: Attempting to download PEAR's phar archive" if test ! -x wget; then - wget https://pear.php.net/install-pear-nozlib.phar -nd -P pear/ +# wget https://pear.php.net/install-pear-nozlib.phar -nd -P pear/ + wget https://github.com/pear/pearweb_phars/raw/v1.10.10/install-pear-nozlib.phar -nd -P pear/ if [ "x$?" != "x0" ] then $ECHO_N "Pear download failed"; |