summaryrefslogtreecommitdiff
path: root/travis
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-05-07 15:44:39 +0200
committerNikita Popov <nikita.ppv@gmail.com>2019-05-07 15:44:39 +0200
commit9702e2332fcd5a5c8d0ed499e27c1ce1026ebee5 (patch)
tree27aac8ed90f52b2802082ff66fda4b4512bc6d9a /travis
parent40b2ffe201895438015ecdff6d7bcb04ab841a5c (diff)
parent7929f8307891682f750f0afe5e2cc78394055da5 (diff)
downloadphp-git-9702e2332fcd5a5c8d0ed499e27c1ce1026ebee5.tar.gz
Merge branch 'PHP-7.4'
Diffstat (limited to 'travis')
-rwxr-xr-xtravis/compile.sh1
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"