]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Fix Makefile
authorfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 4 Oct 2019 13:33:51 +0000 (15:33 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Fri, 4 Oct 2019 13:33:51 +0000 (15:33 +0200)
Makefile

index 442159392c694091e0dee54f951a12ba48e960fa..57e0db81655835f51739fb4b39c092185bab6b4c 100644 (file)
--- 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)