diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 90c38d1c..e8b83415 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -145,6 +145,12 @@ pipeline { } } + stage('List Packages') { + steps { + sh "find packages/ -maxdepth 1 -type f -print0 | xargs -0r ls" + } + } + stage('ISO Image') { steps { sh ''' @@ -154,6 +160,9 @@ pipeline { # we rather prefer all build by ourself! sed -i '/vyos_repo_entry/d' scripts/live-build-config + # remove debug packages + rm -f packages/*-dbg_*.deb + # Configure the ISO ./configure --build-by="autobuild@vyos.net" --debian-mirror="http://ftp.us.debian.org/debian/" @@ -165,11 +174,8 @@ pipeline { } post { - always { - archiveArtifacts artifacts: 'build/build.log', fingerprint: true - } success { - archiveArtifacts artifacts: 'build/vyos*.iso', fingerprint: true + archiveArtifacts artifacts: 'build/live-image-*.iso', fingerprint: true } cleanup { echo 'One way or another, I have finished' |