diff options
Diffstat (limited to 'jenkins')
| -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 5638a03407..60795db960 100644 --- a/jenkins/create_jobs.groovy +++ b/jenkins/create_jobs.groovy @@ -377,7 +377,7 @@ poijobs.each { poijob -> } } else if (poijob.noScratchpad) { ant { - targets(['clean', 'compile-all'] + (poijob.properties ?: [])) + targets(['clean', 'compile'] + (poijob.properties ?: [])) prop('coverage.enabled', true) antInstallation(antRT) } |