diff --git a/Jenkinsfile b/Jenkinsfile index 664de41..0385c18 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,7 +20,7 @@ pipeline { implementations.each { implementation -> stage("Test ${implementation} primitives") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh 'make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives' + sh "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives" } } }