From cebea5eaba59b9b5ab1bbf19675494cf75f1c095 Mon Sep 17 00:00:00 2001 From: ivanfoo Date: Wed, 27 Jan 2016 13:10:02 +0100 Subject: added default shell to makefile changed if to a more standard syntax --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 272425f..18e9991 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,6 @@ +# Default shell +SHELL := /bin/bash + # General WORKDIR = $(PWD) @@ -23,7 +26,7 @@ test-coverage: echo "" > $(COVERAGE_REPORT); \ for dir in `find . -name "*.go" | grep -o '.*/' | sort | uniq`; do \ $(GOTEST) $$dir -coverprofile=$(COVERAGE_PROFILE) -covermode=$(COVERAGE_MODE); \ - if (($$? != 0)); then \ + if [ $$? != 0 ]; then \ exit 2; \ fi; \ if [ -f $(COVERAGE_PROFILE) ]; then \ -- cgit