diff --git a/Jenkinsfile b/Jenkinsfile
index ea12cff1d..cf2a155a5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,5 @@
 pipeline {
     agent any
-    options { 
-    }
     stages {
         stage ('SourceCode') {
             steps {