From c2228afe3397e0b7f741fd5f97928d5215e39036 Mon Sep 17 00:00:00 2001
From: Timothy J Warren <tim@timshomepage.net>
Date: Wed, 20 Nov 2019 16:20:52 -0500
Subject: [PATCH] FFI is a hard requirement...

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ec018c9..82af5d6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
  				}
  			}
  			steps {
- 				sh 'apk add --no-cache php7-phpdbg'
+ 				sh 'apk add --no-cache php7-phpdbg php7-ffi'
  				sh 'curl -sS https://getcomposer.org/installer | php'
  				sh 'php composer.phar install --ignore-platform-reqs'
  				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never -c phpunit.xml tests'