On 9/22/20 3:08 PM, Paolo Bonzini wrote: > This is the patch that has been running on the coverity cronjob > for a few weeks now. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > --- > scripts/coverity-scan/run-coverity-scan | 8 +++++--- > 1 file 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
^ OK v Why prepend '+' to the dirname? > +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 \ >
