diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-20 09:15:08 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-07-06 07:54:50 +0200 |
| commit | dd52af17ec947332dfe45bd5f098c94c6ec0baa3 (patch) | |
| tree | 83cf4b9f4076ece8a116239d7ef9d8c70b203b73 /scripts | |
| parent | dff5f68224505926762c9609b7fb120a2adc6aee (diff) | |
coverity-scan: switch to vpath build
This is the patch that has been running on the coverity cronjob
for a few weeks now.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/coverity-scan/run-coverity-scan | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/coverity-scan/run-coverity-scan b/scripts/coverity-scan/run-coverity-scan index 6eefb4b558..7395bbfad4 100755 --- a/scripts/coverity-scan/run-coverity-scan +++ b/scripts/coverity-scan/run-coverity-scan @@ -380,15 +380,17 @@ export PATH="$TOOLBIN:$PATH" cd "$SRCDIR" -echo "Doing make distclean..." -make distclean +echo "Nuking build directory..." +rm -rf +build +mkdir +build +cd +build echo "Configuring..." # We configure with a fixed set of enables here to ensure that we don't # accidentally reduce the scope of the analysis by doing the build on # the system that's missing a dependency that we need to build part of # the codebase. -./configure --disable-modules --enable-sdl --enable-gtk \ +../configure --disable-modules --enable-sdl --enable-gtk \ --enable-opengl --enable-vte --enable-gnutls \ --enable-nettle --enable-curses --enable-curl \ --audio-drv-list=oss,alsa,sdl,pa --enable-virtfs \ |