diff options
Diffstat (limited to 'jenkinsfile.qemu')
| -rw-r--r-- | jenkinsfile.qemu | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/jenkinsfile.qemu b/jenkinsfile.qemu index 7ba24fd..1d3c340 100644 --- a/jenkinsfile.qemu +++ b/jenkinsfile.qemu @@ -39,7 +39,8 @@ pipeline { steps { sh ''' arch=$(uname -m | sed -e "s/amd64/x86_64/" -e "s/armv7.*/arm/") - mkdir -p build + rm -rf build + mkdir build cd build ../source/configure --target-list=${arch}-softmmu ''' |