diff --git a/Jenkinsfile b/Jenkinsfile index e4809bc..5bcf7e0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,16 +15,20 @@ pipeline { stages { stage('Build') { steps { - sh 'source $HOME/.profile - cargo version - gmake' + sh ''' + source $HOME/.profile + cargo version + gmake + ''' } } stage('Test') { steps { - sh 'source $HOME/.profile - cargo version - gmake test' + sh ''' + source $HOME/.profile + cargo version + gmake test + ''' } } stage('Release') {