diff --git a/Jenkinsfile b/Jenkinsfile
index 9c9dc99..a6e69dc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,7 +20,7 @@ pipeline {
                 script {
                     implementations.each { implementation ->
                         stage("${implementation} primitives") {
-                            echo "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives"
+                            sh "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives"
                         }
                     }
                 }