diff --git a/Jenkinsfile b/Jenkinsfile
index 96154564fa32b5333bb192581d404bf25cf12063..0b08b2b732adfc1f44fed510704b60b68f1ada85 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -171,6 +171,9 @@ pipeline {
             expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
+          environment {
+            OMP_NUM_THREADS = '1'
+          }
           steps {
             script {
               sh 'git submodule sync'
@@ -205,6 +208,9 @@ pipeline {
             expression { return stage_required.build || stage_required.full }
           }
           agent { label "envinf1"}
+          environment {
+            OMP_NUM_THREADS = '1'
+          }
           steps {
             script {
               configure {