coverage: delete *.gcno on make clean
authorPavel Šimerda <psimerda@redhat.com>
Thu, 18 Apr 2013 20:26:10 +0000 (22:26 +0200)
committerPavel Šimerda <psimerda@redhat.com>
Wed, 24 Apr 2013 12:50:04 +0000 (14:50 +0200)
commita3d6a825df13769c23d1cd3ca48bfda3f87990b9
treef146e0f6e1a65664e99c26538113a158984a04b3
parent8215fd92fc2d39701ab8b058612a7a5b836f1af2
coverage: delete *.gcno on make clean
m4/gnome-code-coverage.m4