[PATCH] coverity_scan: switch to vpath build

2020-10-29 Thread Paolo Bonzini
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(-) diff --git a/scripts/coverity-scan/run-coverity-scan b/scripts/coverity-sc

Re: [PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Paolo Bonzini
On 22/09/20 15:18, Peter Maydell wrote: >> +echo "Nuking build directory..." >> +rm -rf +build > > As Philippe points out, odd name choice. > It might also be nice to steal the logic from configure > that avoids blowing away the build directory if it > wasn't created by this script in the first pla

Re: [PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Peter Maydell
On Tue, 22 Sep 2020 at 14:27, Philippe Mathieu-Daudé wrote: > > On 9/22/20 3:18 PM, Peter Maydell wrote: > > This comment at the top of the script: > > > > # This script assumes that you're running it from a QEMU source > > # tree, and that tree is a fresh clean one, because we do an in-tree > > #

Re: [PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Philippe Mathieu-Daudé
On 9/22/20 3:18 PM, Peter Maydell wrote: > On Tue, 22 Sep 2020 at 14:08, 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 >> --- >> scripts/coverity-scan/run-coverity-scan | 8 +--- >> 1 file

Re: [PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Peter Maydell
On Tue, 22 Sep 2020 at 14:08, 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 > --- > scripts/coverity-scan/run-coverity-scan | 8 +--- > 1 file changed, 5 insertions(+), 3 deletions(-) > > diff

Re: [PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Philippe Mathieu-Daudé
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 > --- > scripts/coverity-scan/run-coverity-scan | 8 +--- > 1 file changed, 5 insertions(+), 3 deletions(-) > > diff --git a/scr

[PATCH] coverity_scan: switch to vpath build

2020-09-22 Thread Paolo Bonzini
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(-) diff --git a/scripts/coverity-scan/run-coverity-scan b/scripts/coverity-sc