[Makefile] disable docs when measuring coverage, add option to zero counters
authorPaul Brossier <piem@piem.org>
Sat, 17 Nov 2018 14:56:57 +0000 (15:56 +0100)
committerPaul Brossier <piem@piem.org>
Sat, 17 Nov 2018 14:56:57 +0000 (15:56 +0100)
commitadde1baafb8d35ab9ed7c0e59bd410cbc4a3c9e3
treede443d6ae2e21a957cd678f7483f8dafd8a9d335
parenta5762cf3ba6b3c80932c01bf4f2940996f744885
[Makefile] disable docs when measuring coverage, add option to zero counters
Makefile