On Tue, 17 Jul 2018 at 15:40, U.Mutlu wrote: > > It seems "make check" appends new results to existing results, right? No. > Is there a make target for cleaning the results of the previous "make check" > run(s)? They should be replaced by a new run. By the way, I keep getting delivery failure notices for your email address.
