From 1fa11cd50d2eba03c9564ae7dbf04f3c3dda8a39 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Thu, 11 Oct 2018 12:22:44 -0400
Subject: [PATCH] Try again, for Jenkins

---
 Jenkinsfile | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 76288014..ad067ab5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,27 +4,25 @@ pipeline {
 		stage('PHP 7.1') {
 			agent {
 				docker { image 'php:7.1-alpine' }
-				label 'php-7.1'
 			}
 			steps {
 				sh 'build/docker_install.sh > /dev/null'
-				'apk add --no-cache php7-phpdbg'
-				'curl -sS https://getcomposer.org/installer | php'
-				'php composer.phar install --ignore-platform-reqs'
-				'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
+				sh 'apk add --no-cache php7-phpdbg'
+				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'
 			}
 		}
 		stage('PHP 7.2') {
 			agent {
 				docker { image 'php:7.2-alpine' }
-				label 'php-7.2'
 			}
 			steps {
 				sh 'build/docker_install.sh > /dev/null'
-				'apk add --no-cache php7-phpdbg'
-				'curl -sS https://getcomposer.org/installer | php'
-				'php composer.phar install --ignore-platform-reqs'
-				'phpdbg -qrr -- ./vendor/bin/phpunit --coverage-text --colors=never'
+				sh 'apk add --no-cache php7-phpdbg'
+				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'
 			}
 		}
 	}