2024-10-11 03:48:47 -04:00
|
|
|
pipeline {
|
|
|
|
|
|
|
|
agent {
|
|
|
|
dockerfile {
|
|
|
|
filename 'Dockerfile.jenkins'
|
|
|
|
dir '.'
|
2024-10-12 00:42:33 -04:00
|
|
|
args '-u root --privileged'
|
2024-10-11 03:48:47 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
options {
|
|
|
|
buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
|
|
|
|
}
|
|
|
|
|
|
|
|
stages {
|
|
|
|
stage("Build") {
|
|
|
|
steps {
|
2024-10-12 00:49:31 -04:00
|
|
|
sh 'make clean'
|
2024-10-11 03:48:47 -04:00
|
|
|
sh 'make'
|
|
|
|
archiveArtifacts artifacts: 'setup_*.exe'
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2024-10-12 00:49:31 -04:00
|
|
|
post {
|
|
|
|
always {
|
|
|
|
deleteDir()
|
|
|
|
}
|
2024-10-12 00:49:49 -04:00
|
|
|
}
|
2024-10-11 03:48:47 -04:00
|
|
|
}
|
|
|
|
|