diff --git a/Jenkinsfile b/Jenkinsfile index d2eb770..dcb9644 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -43,12 +43,12 @@ pipeline{ make DESTDIR=$WORKSPACE/build make install ''' - //script { + script { // only useful for any master branch //if (env.BRANCH_NAME =~ /^master/) { - // archiveArtifacts artifacts: 'build/', fingerprint: true + archiveArtifacts artifacts: 'build/', fingerprint: true //} - //} + } } } }