diff --git a/Jenkinsfile b/Jenkinsfile index dfbcb5c..a5f9735 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,7 +45,7 @@ pipeline { env.R6RS_SCHEMES.split().each { SCHEME -> stage("${SCHEME} ${SRFI}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} SRFI=${SRFI} RNRS=r6rs run-test-docker" + sh "make SCHEME=${SCHEME} SRFI=${SRFI} RNRS=r6rs test-docker" } } } @@ -60,7 +60,7 @@ pipeline { env.R7RS_SCHEMES.split().each { SCHEME -> stage("${SCHEME} ${SRFI}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} SRFI=${SRFI} RNRS=r6rs run-test-docker" + sh "make SCHEME=${SCHEME} SRFI=${SRFI} RNRS=r6rs test-docker" } } }