From 64159ae16c354b77a1328699921425ba0117f5a1 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Thu, 11 Dec 2025 18:28:14 +0200 Subject: [PATCH] Fix testing --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index cc75196..c91aa5a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,7 +28,7 @@ pipeline { [(SCHEME): { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} DOCKER_QUIET="" test-r6rs-docker" + sh "make SCHEME=${SCHEME} DOCKER_QUIET='' test-r6rs-docker" } } }] @@ -48,7 +48,7 @@ pipeline { [(SCHEME): { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} DOCKER_QUIET="" test-r7rs-docker" + sh "make SCHEME=${SCHEME} DOCKER_QUIET='' test-r7rs-docker" } } }]