diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
index f7a8f1d..a436c2b 100755
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -774,3 +774,4 @@ pipeline {
     }
   }
 }
+