diff --git a/Jenkinsfile b/Jenkinsfile index 77d18ba..6bd8304 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent any { + agent any stages { stage('Build') { steps { @@ -14,7 +14,6 @@ pipeline { stage('Clean') { steps { make clean - } } } }