On Fri, Oct 11, 2013 at 5:04 PM, Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr> wrote:
Also doing make clean does not remove the gcov files in Olinux-x86_64.gcov.

Well, make clean in Olinux-x86_64.prf doesn't remove gmon.out either, so I'll fix that as well.