diff options
author | Máximo Cuadros <mcuadros@gmail.com> | 2016-01-27 18:04:59 +0100 |
---|---|---|
committer | Máximo Cuadros <mcuadros@gmail.com> | 2016-01-27 18:04:59 +0100 |
commit | 1cad23e71e4db887700ef6d192ade463904261fd (patch) | |
tree | d3f99e7d5c7218af53ca2f3ec2333fe9b66e90c3 | |
parent | 5e0030a4375550360d1ab703741a4477e99e8534 (diff) | |
parent | cebea5eaba59b9b5ab1bbf19675494cf75f1c095 (diff) | |
download | go-git-1cad23e71e4db887700ef6d192ade463904261fd.tar.gz |
Merge pull request #18 from ivanfoo/master
added default shell to makefile
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 \ |