From 07de5ff79b985794bdee5cf72a8105cddf4091fc Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Wed, 11 Mar 2020 15:16:43 -0400
Subject: [PATCH] Show composer install error for CI, please

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 8f68e3e7..ad5de134 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
 				sh 'apk add --no-cache php7-phpdbg'
 				sh 'curl -sS https://getcomposer.org/installer | php'
 				sh 'rm -f composer.lock'
-				sh 'php composer.phar install --ignore-platform-reqs'
+				sh 'php composer.phar install'
 				sh 'php vendor/bin/robo lint'
 				sh 'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
 			}