Also run via sh

This commit is contained in:
Luke Murphy 2020-10-30 00:34:37 +01:00
parent dbfe6f8097
commit 188dc56dd1
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with 1 additions and 1 deletions

View File

@ -30,7 +30,7 @@ kcov:
--rm \
-v $$(pwd):/workdir \
kcov/kcov:latest \
kcov /workdir/coverage /workdir/abra || true
sh -c "kcov /workdir/coverage /workdir/abra || true"
codecov: SHELL:=/bin/bash
codecov: