diff --git a/Jenkinsfile b/Jenkinsfile
index 50ca518..d104283 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -17,7 +17,7 @@ pipeline {
                         stage("${implementation} primitives") {
                             sh "docker build --build-arg COMPILE_R7RS=${implementation} --tag=r7rs-pffi-test-${implementation} -f Dockerfile.test ."
                             //sh "docker run -v ${PWD}:/workdir -w /workdir -t r7rs-pffi-test-${implementation} sh -c \"make COMPILE_R7RS=${implementation} TESTNAME=primitives test-compile-r7rs\""
-                            #sh "docker run -v ${PWD}:/workdir -w /workdir -t r7rs-pffi-test-${implementation} sh -c \"ls\""
+                            sh "docker run -v ${PWD}:/workdir -w /workdir -t r7rs-pffi-test-${implementation} sh -c \"ls\""
                         }
                     }
                 }