From dd52af17ec947332dfe45bd5f098c94c6ec0baa3 Mon Sep 17 00:00:00 2001 From: Paolo Bonzini Date: Thu, 20 Aug 2020 09:15:08 -0400 Subject: 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 --- scripts/coverity-scan/run-coverity-scan | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'scripts/coverity-scan/run-coverity-scan') 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 \ -- cgit v1.2.3