diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 5 |
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 { |