diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-27 17:03:29 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-27 17:03:29 +0200 |
commit | deb5226b314242b05a48d52514a30bd1181bf228 (patch) | |
tree | 69c84a073306779345a9e016ca3827d055d489e8 /travis | |
parent | 29925cef47d5ca1249d5b44caa06c0462b0a108d (diff) | |
parent | c1fbc3900f66ce9b45ddc40c97ee6d47fc5dc5a5 (diff) | |
download | php-git-deb5226b314242b05a48d52514a30bd1181bf228.tar.gz |
Merge branch 'PHP-7.4'
Diffstat (limited to 'travis')
-rwxr-xr-x | travis/compile.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index 045178d6b1..34b0c91fac 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -77,6 +77,7 @@ $TS \ --with-ffi \ --enable-zend-test=shared \ --enable-werror \ +--with-pear \ > "$CONFIG_LOG_FILE" make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE" |