diff --git a/Jenkinsfile b/Jenkinsfile
index bb686da12af7de0b60e3831df49eac420d97633b..340a985dc92e6c065f6ef7ce9064c6f44fef462a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,7 +6,7 @@ node {
 
 
 def skipbuild=0
-
+def win_stop=0
 def abortPreviousBuilds() {
   def currentJobName = env.JOB_NAME
   def currentBuildNumber = env.BUILD_NUMBER.toInteger()