diff options
author | w0rp <devw0rp@gmail.com> | 2017-12-01 18:06:09 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-12-01 18:06:09 +0000 |
commit | 6650c9a901ae35e76754a389ee1ae67b6dfb754f (patch) | |
tree | 482ec6da545fe26415e788190ee9d01e3fd7d780 /test/script/run-vint | |
parent | 499c1542727c7e79302529f61ffb2bbaecb08b68 (diff) | |
download | ale-6650c9a901ae35e76754a389ee1ae67b6dfb754f.zip |
Break up the rest of the test script code into smaller files
Diffstat (limited to 'test/script/run-vint')
-rwxr-xr-x | test/script/run-vint | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/script/run-vint b/test/script/run-vint new file mode 100755 index 00000000..e1140307 --- /dev/null +++ b/test/script/run-vint @@ -0,0 +1,18 @@ +#!/bin/bash -eu + +exit_code=0 +image=w0rp/ale +docker_flags=(--rm -v "$PWD:/testplugin" -v "$PWD/test:/home" -w /testplugin "$image") + +echo '========================================' +echo 'Running Vint to lint our code' +echo '========================================' +echo 'Vint warnings/errors follow:' +echo + +set -o pipefail +docker run -a stdout "${docker_flags[@]}" vint -s . || exit_code=$? +set +o pipefail +echo + +exit $exit_code |