diff --git a/Dockerfile b/Dockerfile index 9478cfd48df86f5ad869f98fe870ae89bcab1866..939da81e9fc50c055acd11365e31ac7857c02245 100644 --- a/Dockerfile +++ b/Dockerfile @@ -36,6 +36,6 @@ RUN cd build_dev \ # Generate HTML report RUN cd build_dev/CMakeFiles/dhtnet.dir \ - && lcov --capture --directory . --output-file coverage.info \ - && mkdir /result \ - && genhtml coverage.info --output-directory /result \ No newline at end of file + && lcov --capture --no-external --directory /dhtnet --output-file coverage.info \ + && mkdir /coverage \ + && genhtml coverage.info --output-directory /coverage \ No newline at end of file diff --git a/extras/ci/tests/Jenkinsfile b/extras/ci/tests/Jenkinsfile index 930b65cc948df6efec59dd48eb317ea7666a988a..8ee08d3653d26e82ef910353f0c392924826c4ac 100644 --- a/extras/ci/tests/Jenkinsfile +++ b/extras/ci/tests/Jenkinsfile @@ -46,7 +46,7 @@ pipeline { id=\$(docker create dhtnet:${env.BUILD_ID}) docker cp \$id:/result.summary result.summary cat result.summary - docker cp \$id:/result coverage + docker cp \$id:/coverage coverage docker rm -v \$id """ }