From d4650452974126ee2115b8cc69decf619d70b2a7 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Fri, 4 Oct 2019 16:57:30 +0200 Subject: [PATCH] :wrench: Fix Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 57e0db81..48709433 100644 --- a/Makefile +++ b/Makefile @@ -113,7 +113,7 @@ test: @bash scripts/test.sh ${test_dir} coverity: - git branch | grep "*" | cut -d" " -f2 > .branch + $(shell git branch | grep "*" | cut -d" " -f2 > .branch) [ -z "$(git ls-remote --heads $(git remote get-url origin) coverity_scan)" ] || git push origin :coverity_scan git show-ref --verify --quiet refs/heads/master && git branch -D coverity_scan git checkout -b coverity_scan -- 2.43.0