summaryrefslogtreecommitdiff
path: root/travis/compile.sh
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-05-07 14:32:06 +0200
committerNikita Popov <nikita.ppv@gmail.com>2019-05-07 15:44:22 +0200
commit7929f8307891682f750f0afe5e2cc78394055da5 (patch)
tree6548bfa8af01ff8566f5bcaf87fe1945ad626921 /travis/compile.sh
parent645ebcdfbfb2adc35aa714485d1685e8b2f8c3e2 (diff)
downloadphp-git-7929f8307891682f750f0afe5e2cc78394055da5.tar.gz
Add --with-ffi on Travis
Diffstat (limited to 'travis/compile.sh')
-rwxr-xr-xtravis/compile.sh1
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"