diff --git a/Makefile b/Makefile index 2f27a3d7..190d4f85 100644 --- a/Makefile +++ b/Makefile @@ -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: