diff options
| author | Philip Paquette <pcpaquette@gmail.com> | 2018-11-02 16:50:26 -0400 |
|---|---|---|
| committer | Philip Paquette <pcpaquette@gmail.com> | 2019-04-18 11:19:48 -0400 |
| commit | 7205be751bf90123cb3f2edea842d0529d5f070f (patch) | |
| tree | 10dd53b91e33192e29c80a4d66eea210564b3782 /run_tests.sh | |
| parent | 35e9a08327f3b64afc0b6f54666a6f3db93df20a (diff) | |
Fixed Jenkins not reporting tests score correctly
Diffstat (limited to 'run_tests.sh')
| -rwxr-xr-x | run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_tests.sh b/run_tests.sh index 9606844..5b27615 100755 --- a/run_tests.sh +++ b/run_tests.sh @@ -12,7 +12,7 @@ if [ "${1:-auto}" != "0" ]; then fi # Running pylint -find diplomacy -name "*.py" ! -name 'zzz_*.py' ! -name '_*.py' -exec pylint '{}' + && \ +find diplomacy -name "*.py" ! -name 'zzz_*.py' ! -name '_*.py' -exec pylint '{}' + || FAILED=1 # Running eslint if [ -f "$DIR/diplomacy/web/node_modules/.bin/eslint" ]; then |