diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-02-12 19:02:43 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-02-12 19:02:43 +0100 |
| commit | 7aa2eb52f909817624614a10bf1293f2c37034a7 (patch) | |
| tree | 6028c48b21bcf77c1e49abb4b0ab106abb80868d /jenkinsfile.qemu | |
| parent | a05288bf0ec268ce8e729b3d1f962b137eb0c847 (diff) | |
| download | jenkinsfiles-7aa2eb52f909817624614a10bf1293f2c37034a7.tar.gz | |
qemu: no incremental builds
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 ''' |