diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-23 12:58:21 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-25 16:37:46 +0200 |
commit | bd379df48c1568b19d267f642154f386bd864cba (patch) | |
tree | d86b152eb5495fc49073c75b894d65201c3b98e6 /travis/compile.sh | |
parent | f1848a4b3f807d21415c5a334b461d240b2a83af (diff) | |
download | php-git-bd379df48c1568b19d267f642154f386bd864cba.tar.gz |
Add ARM64 CI to Travis
We need to install a number of additional packages that are installed
by default on the AMD64 workers.
We also have to manually set up the MySQL user.
For now we don't set up Postgres -- if anyone wants to figure that
out, it would be great ;)
Log redirections in compile.sh are removed, because /dev/stdout is
not accessible. We don't see to use this anyway.
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 e373d9b90c..d14309a0dd 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 |