diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-27 11:36:58 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-08-27 17:03:21 +0200 |
commit | c1fbc3900f66ce9b45ddc40c97ee6d47fc5dc5a5 (patch) | |
tree | ae818f0dda091609297561988e25b878fe54ef14 /travis | |
parent | f08095faa5a59ea89d6a554311f2c968c4c439f9 (diff) | |
download | php-git-c1fbc3900f66ce9b45ddc40c97ee6d47fc5dc5a5.tar.gz |
Add --with-pear to Travis build
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 b03336bdc8..e4381952ca 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" |