diff --git a/Jenkinsfile b/Jenkinsfile index 548a337..2d63358 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,16 +9,16 @@ pipeline { ) } - tools { - jdk 'jdk8' - } - stages { stage("Build on Linux") { agent { label 'linux' } + tools { + jdk 'jdk 8' + } + steps { script { sh '''