diff options
author | w0rp <devw0rp@gmail.com> | 2023-02-13 04:43:45 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2023-02-13 04:43:45 +0000 |
commit | c3f9bccb8c04b01d5d0712b8691658af0b0ddb16 (patch) | |
tree | 701c5f34c4b99a5835ce452875f811ad9a31445c | |
parent | ab7757b532e71aff701dca5094f5800241b07441 (diff) | |
download | ale-c3f9bccb8c04b01d5d0712b8691658af0b0ddb16.zip |
Ignore shellcheck error in run-vader-tests
-rwxr-xr-x | test/script/run-vader-tests | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/script/run-vader-tests b/test/script/run-vader-tests index 15a4a91e..584a05bb 100755 --- a/test/script/run-vader-tests +++ b/test/script/run-vader-tests @@ -147,6 +147,7 @@ while [ "$tries" -lt 5 ]; do exit_code=0 set -o pipefail + # shellcheck disable=SC2086 docker run -a stderr -e VADER_OUTPUT_FILE=/dev/stderr "${docker_flags[@]}" \ "/vim-build/bin/$vim" -u test/vimrc ${headless} \ "+Vader! $tests" 2>&1 | filter-vader-output | color-vader-output || exit_code=$? |