diff options
author | w0rp <devw0rp@gmail.com> | 2017-04-15 12:52:25 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-04-15 12:52:25 +0100 |
commit | 2f009690c3cf442f828830cc1d2fece619f308ff (patch) | |
tree | 5df599ac6272bb650c0608ecc70752abad8cd92d /Makefile | |
parent | cab68cba250fb81a4d20ffd637925a708bb46e8a (diff) | |
download | ale-2f009690c3cf442f828830cc1d2fece619f308ff.zip |
Fix the custom-checks script, and check for more problems
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -45,7 +45,7 @@ test: test-setup echo 'Custom warnings/errors follow:'; \ echo; \ set -o pipefail; \ - docker run -a stdout $(DOCKER_FLAGS) /testplugin/custom-checks /testplugin | sed s:^/testplugin/:: || EXIT=$$?; \ + docker run -v $(PWD):/testplugin "$(IMAGE)" /testplugin/custom-checks /testplugin | sed s:^/testplugin/:: || EXIT=$$?; \ set +o pipefail; \ echo; \ exit $$EXIT; |