From ddcfdb8a9488d7d198d7dd7c6fa57940324ec62e Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Fri, 4 Oct 2019 15:33:51 +0200
Subject: [PATCH] :wrench: Fix Makefile

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 44215939..57e0db81 100644
--- a/Makefile
+++ b/Makefile
@@ -113,12 +113,12 @@ test:
 	@bash scripts/test.sh ${test_dir}
 
 coverity:
-  git branch | grep "*" | cut -d" " -f2 > .branch
+	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
 	git push --set-upstream origin coverity_scan
-  git checkout $(cat .branch)
+	git checkout $(cat .branch)
 	rm .branch
 
 include $(wildcard .d/*.d)
-- 
2.43.0