diff options
| -rw-r--r-- | Jenkinsfile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 000000000000..f0ed1644c919 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,24 @@ +// Example Jenkinsfile for building the Linux kernel +// Uses the custom kernel-builder image (jenkins/kernel-builder/Dockerfile) +// Build the image first: docker build -t kernel-builder jenkins/kernel-builder/ + +pipeline { + agent { + docker { image 'kernel-builder' } + } + + stages { + stage('Build') { + steps { + sh 'make defconfig' + sh 'make -j$(nproc)' + } + } + + stage('Archive') { + steps { + archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true + } + } + } +} |
