summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile33
1 files changed, 30 insertions, 3 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 5084ed76cbd7..15593b4ccd5e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,9 +1,36 @@
pipeline {
- agent any
+ agent {
+ docker { image 'kernel-builder' }
+ }
+
+ options {
+ timeout(time: 4, unit: 'HOURS')
+ }
+
stages {
- stage('Test') {
+ stage('Checkout') {
+ steps {
+ checkout([
+ $class: 'GitSCM',
+ branches: [[name: '*/master']],
+ extensions: [
+ [$class: 'CloneOption', timeout: 120, shallow: true, depth: 1]
+ ],
+ userRemoteConfigs: [[url: 'git://git-server/linux.git']]
+ ])
+ }
+ }
+
+ stage('Build') {
+ steps {
+ sh 'make defconfig'
+ sh 'make -j$(nproc)'
+ }
+ }
+
+ stage('Archive') {
steps {
- sh 'echo "Hello from Jenkins"'
+ archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true
}
}
}