summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 5ddcd88d..d174932e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -172,6 +172,11 @@ pipeline {
}
}
}
+ stage('QEMU image') {
+ steps {
+ sh "sudo make qemu"
+ }
+ }
}
post {
success {