diff options
Diffstat (limited to 'test/script/run-vint')
-rwxr-xr-x | test/script/run-vint | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/script/run-vint b/test/script/run-vint index ce42ad41..b3afbee6 100755 --- a/test/script/run-vint +++ b/test/script/run-vint @@ -12,9 +12,13 @@ echo '========================================' echo 'Vint warnings/errors follow:' echo -set -o pipefail -docker run -a stdout "${docker_flags[@]}" vint -s . || exit_code=$? -set +o pipefail +if [ "${1:-}" = '--no-docker' ]; then + vint -s . +else + set -o pipefail + docker run -a stdout "${docker_flags[@]}" vint -s . || exit_code=$? + set +o pipefail +fi echo exit $exit_code |