diff --git a/Jenkinsfile b/Jenkinsfile
index 9f5ec83..348a1b2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,8 +9,8 @@ pipeline {
             steps {
                 sh 'make'
                 sh 'make install'
-                sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r6rs'
-                sh 'make COMPILE_R7RS=${COMPILE_R7RS} test-r7rs'
+                sh 'make test-r6rs'
+                sh 'make test-r7rs'
             }
         }
         stage("Test chez r6rs") {