diff --git a/Jenkinsfile b/Jenkinsfile index 84fade3..6740c43 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -44,10 +44,7 @@ pipeline{ DESTDIR=$WORKSPACE/build make install ''' script { - // only useful for any master branch - //if (env.BRANCH_NAME =~ /^master/) { archiveArtifacts artifacts: 'build/', fingerprint: true - //} } } }