diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5fd6b2333..b6f0c009b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -31,7 +31,7 @@ pipeline { withMaven(maven: buildMvn, jdk: buildJdk, mavenSettingsConfig: deploySettings, mavenLocalRepo: ".repository", - publisherStrategy='EXPLICIT' + publisherStrategy:'EXPLICIT' ) { sh "chmod 755 ./src/ci/scripts/prepareWorkspace.sh" |