diff options
Diffstat (limited to 'jenkins')
| -rw-r--r-- | jenkins/dispatch.groovy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/dispatch.groovy b/jenkins/dispatch.groovy index 473587f..2da1a79 100644 --- a/jenkins/dispatch.groovy +++ b/jenkins/dispatch.groovy @@ -360,7 +360,7 @@ node(LABEL) { while ( tries_remaining > 0) { println("Waiting ${this.publication_lock_wait_s}s for lockfile release...") sleep(this.publication_lock_wait_s) - if ( !fileExists(file) ) { + if ( !fileExists(lockfile) ) { break } tries_remaining-- |