diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
index b3ef8c0..995d3e3 100755
--- a/jenkins/Jenkinsfile
+++ b/jenkins/Jenkinsfile
@@ -760,3 +760,4 @@ pipeline {
     }
   }
 }
+