diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-07 15:44:39 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-07 15:44:39 +0200 |
commit | 9702e2332fcd5a5c8d0ed499e27c1ce1026ebee5 (patch) | |
tree | 27aac8ed90f52b2802082ff66fda4b4512bc6d9a /travis | |
parent | 40b2ffe201895438015ecdff6d7bcb04ab841a5c (diff) | |
parent | 7929f8307891682f750f0afe5e2cc78394055da5 (diff) | |
download | php-git-9702e2332fcd5a5c8d0ed499e27c1ce1026ebee5.tar.gz |
Merge branch 'PHP-7.4'
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 9063291229..e64bc64e6e 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" |