sed -i 's/<html>/<script type="text\/javascript" src="focus.js"><\/script><html>/' index.src_*.html
branch=$(basename ${{ github.event.ref }})
mkdir -p gwion-coverage-report/html/$branch
- gcovr -s --filter '.*\.c$' src >> gwion-coverage-report/html/$branch/lines.txt
- gcovr -s --filter '.*\.c$' --branches src >> gwion-coverage-report/html/$branch/branches.txt
+ gcovr --filter '.*\.c$' src > gwion-coverage-report/html/$branch/lines.txt
+ gcovr --filter '.*\.c$' --branches src > gwion-coverage-report/html/$branch/branches.txt
mv *.html gwion-coverage-report/html/$branch
cd gwion-coverage-report/html/
for a in */
projects / gwion.git / commitdiff