diff options
| author | Anatol Belski <ab@php.net> | 2015-11-15 18:57:10 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2015-11-15 19:01:22 +0100 |
| commit | 7819fef345f2ec80c4fea804b350e229af589990 (patch) | |
| tree | a3a72e82f5f33a036986931c24679dfc816575e8 /makedist | |
| parent | c856b6e0ffe3caf8cbe7e19b192e0f568bb14454 (diff) | |
| download | php-git-7819fef345f2ec80c4fea804b350e229af589990.tar.gz | |
Fixed bug #70917 install-pear-nozlib.phar missing
The actual bug is caused by some network error while packaged. An
error check added to interrupt the packaging process if phar package
download failed.
Diffstat (limited to 'makedist')
| -rwxr-xr-x | makedist | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -119,6 +119,11 @@ sed -i 's,^#ifndef YYTOKENTYPE,#include "zend.h"\n#ifndef YYTOKENTYPE,g' $MY_OLD $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/ + if [ "x$?" != "x0" ] + then + $ECHO_N "Pear download failed"; + exit 7 + fi else $ECHO_N "Missing wget binary needed for pear download"; exit 7 |