github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-02-15 06:10:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

* .gitlab-ci.yml: Move coverage results to parent directory

Browse Source
This commit is contained in:
Tim Rühsen 2021-06-06 23:34:46 +02:00
parent 96971867ea
commit a0e0965d1e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitlab-ci.yml
View File

@ -361,10 +361,10 @@ CoverageReports:
- cd wget-*/ - cd wget-*/
- ./configure $CONFIGURE_BASE_FLAGS --cache-file ../cache/config.cache - ./configure $CONFIGURE_BASE_FLAGS --cache-file ../cache/config.cache
- make -j$(nproc) check-coverage - make -j$(nproc) check-coverage
- mv lcov test-coverage - mv lcov ../test-coverage
- make -C doc html - make -C doc html
- make -j$(nproc) fuzz-coverage - make -j$(nproc) fuzz-coverage
- mv lcov fuzz-coverage - mv lcov ../fuzz-coverage
- make dist - make dist
tags: tags:
- shared - shared