> On 31 Jan 2023, at 09:31, Mark Wielaard <mark@klomp.org> wrote:
> 
> On Tue, Jan 31, 2023 at 01:56:11AM +0000, Sam James wrote:
>> This gives us a nice summary of the various dejagnu results.
> 
> Looks like a nice idea in general.
> 
> But it also renames the *.sum files to .sum.sent, which means
> they next bunsen step will fail to fetch them. You need to add
> -t: prevents logs from being renamed
> 

Oh, good spot! Let me fix.

> Also the "wrapper" text about emailing the sums is a little
> odd imho. But it looks like there is no way to suppress that.
> 
I want to add an option for that as it's a bit confusing when we run
It in our Gentoo packaging too. We'll circle back to that.

Best,
sam