diff --git a/Jenkinsfile b/Jenkinsfile
index 0bce8a60bd..6badb5ad74 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -106,7 +106,7 @@ pipeline {
               abortPreviousBuilds()
             }
           pre_test()
-          bash'''
+          sh'''
           cd ${WKC}/tests
           ./test-all.sh p1
           '''