diff --git a/Jenkinsfile b/Jenkinsfile index c693b50..3d0777b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { stage('Chibi primitives') { agent { dockerfile { - filename 'dockerfiles/test' + filename 'Dockerfile.test' additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }