From 188dc56dd1af0cee6145c1452bfacee6fa98b288 Mon Sep 17 00:00:00 2001 From: Luke Murphy Date: Fri, 30 Oct 2020 00:34:37 +0100 Subject: [PATCH] Also run via sh --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: