From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 4 Oct 2019 14:57:30 +0000 (+0200)
Subject: :wrench: Fix Makefile
X-Git-Tag: nightly~2198^2~136
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=d4650452974126ee2115b8cc69decf619d70b2a7;p=gwion.git

:wrench: Fix Makefile
---

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