Re: [PATCH RSB 4/4] qemu-couverture: update to qemu-stable-4.0.0

2020-04-10 Thread Vijay Kumar Banerjee
On Fri, Apr 10, 2020, 7:03 PM Joel Sherrill wrote: > I pushed this. Thanks. This was actually on the list in the back of my > mind but never got a ticket. > > Thanks! Can you please also push the other 3 patches? The qemu-couverture build depends on them. > > > On Fri, Apr 10, 2020 at 5:24 AM

Re: [PATCH RSB 4/4] qemu-couverture: update to qemu-stable-4.0.0

2020-04-10 Thread Joel Sherrill
I pushed this. Thanks. This was actually on the list in the back of my mind but never got a ticket. On Fri, Apr 10, 2020 at 5:24 AM Vijay Kumar Banerjee wrote: > > > On Fri, Apr 10, 2020 at 9:53 AM Gedare Bloom wrote: > >> How was it tested? >> >> I ran coverage analysis on leon3-qemu-cov,

Re: [PATCH RSB 4/4] qemu-couverture: update to qemu-stable-4.0.0

2020-04-10 Thread Vijay Kumar Banerjee
On Fri, Apr 10, 2020 at 9:53 AM Gedare Bloom wrote: > How was it tested? > > I ran coverage analysis on leon3-qemu-cov, it's working fine with this qemu-couverture build. > On Thu, Apr 9, 2020 at 2:22 PM Vijay Kumar Banerjee > wrote: > > > > --- > > bare/config/devel/qemu-couverture-git-1.cfg

Re: [PATCH RSB 4/4] qemu-couverture: update to qemu-stable-4.0.0

2020-04-09 Thread Gedare Bloom
How was it tested? On Thu, Apr 9, 2020 at 2:22 PM Vijay Kumar Banerjee wrote: > > --- > bare/config/devel/qemu-couverture-git-1.cfg | 16 +--- > bare/config/devel/qemu-couverture.bset | 5 +++-- > 2 files changed, 8 insertions(+), 13 deletions(-) > > diff --git

[PATCH RSB 4/4] qemu-couverture: update to qemu-stable-4.0.0

2020-04-09 Thread Vijay Kumar Banerjee
--- bare/config/devel/qemu-couverture-git-1.cfg | 16 +--- bare/config/devel/qemu-couverture.bset | 5 +++-- 2 files changed, 8 insertions(+), 13 deletions(-) diff --git a/bare/config/devel/qemu-couverture-git-1.cfg b/bare/config/devel/qemu-couverture-git-1.cfg index