diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-07 14:32:06 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-07 15:44:22 +0200 |
| commit | 7929f8307891682f750f0afe5e2cc78394055da5 (patch) | |
| tree | 6548bfa8af01ff8566f5bcaf87fe1945ad626921 /travis/compile.sh | |
| parent | 645ebcdfbfb2adc35aa714485d1685e8b2f8c3e2 (diff) | |
| download | php-git-7929f8307891682f750f0afe5e2cc78394055da5.tar.gz | |
Add --with-ffi on Travis
Diffstat (limited to 'travis/compile.sh')
| -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 0884eb36cf..4f5b88e386 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -73,6 +73,7 @@ $TS \ --with-enchant=/usr \ --with-kerberos \ --enable-sysvmsg \ +--with-ffi \ --enable-zend-test=shared \ --enable-werror \ > "$CONFIG_LOG_FILE" |