Hi Dmitry, On Tue, 2021-01-12 at 07:29 +0300, Dmitry V. Levin wrote: > The coverage report is now prepared by "make coverage". This is obviously OK once the src coverage target goes in. Thanks, Mark