diff options
| -rw-r--r-- | jenkins/create_jobs.groovy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins/create_jobs.groovy b/jenkins/create_jobs.groovy index f4190e4901..3e03996d3f 100644 --- a/jenkins/create_jobs.groovy +++ b/jenkins/create_jobs.groovy @@ -461,7 +461,7 @@ poijobs.each { poijob -> } else { ant { targets(['clean', 'jenkins'] + (poijob.properties ?: [])) - prop('coverage.enabled', true) + prop('coverage.enabled', !poijob.skipSpotbugs) // Properties did not work, so I had to use targets instead //properties(poijob.properties ?: '') antInstallation(antRT) |