diff --git a/Jenkinsfile b/Jenkinsfile
index ef6e7d67b2166180d7ef3700de876767277347e7..23dc54d9633a874d94db5746b31c9ec30e42e8b5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -109,6 +109,8 @@ pipeline {
           sh'''
           cd ${WKC}/tests
           ./test-all.sh b1fq
+          '''
+          sh'''
           cd ${WKC}/debug
           ctest
           '''