diff options
author | Philipp Hörist <philipp@hoerist.com> | 2019-12-01 00:04:07 +0300 |
---|---|---|
committer | Philipp Hörist <philipp@hoerist.com> | 2019-12-01 00:04:07 +0300 |
commit | b42a1ca154d824be87ea14a21d2164ad00a64a5d (patch) | |
tree | 11a7b9fc114e9e40b9b8d553cbaf42affdbd135a /scripts | |
parent | 5c587855c60d12ba0e513f4a1eccdc76d46066ba (diff) |
Fail CI on any pylint errors
We now call pylint multipletimes, until now only the last command return
code was evaluated
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/dev/pylint-ci.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/dev/pylint-ci.sh b/scripts/dev/pylint-ci.sh index 0ae2cfd9a..64cf45784 100755 --- a/scripts/dev/pylint-ci.sh +++ b/scripts/dev/pylint-ci.sh @@ -1,4 +1,8 @@ #!/bin/sh + +# exit when any command fails +set -e + PYLINT=${PYLINT:-pylint} "$PYLINT" --version |