Re: [PATCH elfutils-htdocs] update-coverage.sh: use "make coverage"

2021-01-12 Thread Mark Wielaard
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

[PATCH elfutils-htdocs] update-coverage.sh: use "make coverage"

2021-01-11 Thread Dmitry V. Levin
The coverage report is now prepared by "make coverage". Signed-off-by: Dmitry V. Levin --- update-coverage.sh | 5 + 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/update-coverage.sh b/update-coverage.sh index 46f30ab2..cddfbf24 100755 --- a/update-coverage.sh +++ b/update-cove