diff options
| -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 |