mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-23 18:04:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-7.4'

Browse Source
This commit is contained in:
Nikita Popov 2019-08-27 17:03:29 +02:00
commit deb5226b31
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
travis/compile.sh
View File

@ -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"