diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-22 14:20:05 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-22 14:20:05 +0100 |
| commit | cd00a18c3a85080783c71abaeae87e4c599435e3 (patch) | |
| tree | df06a464a854113b3913442aaf8a193fcddc7969 /Makefile | |
| parent | e293e0b5abd182ec006e49ef975fc648797444ba (diff) | |
| download | ale-cd00a18c3a85080783c71abaeae87e4c599435e3.zip | |
Make builds fail again when there are Vint warnings.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,3 +1,4 @@ +SHELL := /usr/bin/env bash IMAGE ?= w0rp/ale CURRENT_IMAGE_ID = 107e4efc4267 DOCKER_FLAGS = --rm -v $(PWD):/testplugin -v $(PWD)/test:/home "$(IMAGE)" @@ -25,7 +26,9 @@ test: test-setup echo '========================================'; \ echo 'Vint warnings/errors follow:'; \ echo; \ + set -o pipefail; \ docker run -a stdout $(DOCKER_FLAGS) vint -s /testplugin | sed s:^/testplugin/:: || EXIT=$$?; \ + set +o pipefail; \ echo; \ echo; \ exit $$EXIT; |