diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-25 16:38:13 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-25 16:38:13 +0200 |
commit | 75279b50a56994cf3a58fcd25a25b7aa21e53ced (patch) | |
tree | bef2ed87d6f364d6831400f49e8371924757ca7a /travis/compile.sh | |
parent | e63a44dd03aae264561fff77565f4a5f9be035bd (diff) | |
parent | bd379df48c1568b19d267f642154f386bd864cba (diff) | |
download | php-git-75279b50a56994cf3a58fcd25a25b7aa21e53ced.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Add ARM64 CI to Travis
Diffstat (limited to 'travis/compile.sh')
-rwxr-xr-x | travis/compile.sh | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index e4706e0f96..a3d3e62578 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -77,8 +77,7 @@ $TS \ --with-ffi \ --enable-zend-test=shared \ --enable-werror \ ---with-pear \ -> "$CONFIG_LOG_FILE" +--with-pear -make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE" -make install >> "$MAKE_LOG_FILE" +make "-j${MAKE_JOBS}" $MAKE_QUIET +make install |