diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-05-16 11:02:11 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-05-16 11:02:14 -0400 |
| commit | 41f4c63b389813b587ec58d8cd6c3bbc46fe8887 (patch) | |
| tree | fbb91219f22d23b41e8dc292d8b8fdf5f171e66c /src | |
| parent | fd61b9fc22faaa946ca43211c6c43b40ca4a860c (diff) | |
| parent | f3b90f2e053816bfb64dce577b0913d920f362f8 (diff) | |
Merge #16036: travis: Run all lint scripts even if one fails
f3b90f2e05 Run all lint scripts (Julian Fleischer)
Pull request description:
The description reads:
```
# This script runs all contrib/devtools/lint-*.sh files, and fails if any exit
# with a non-zero status code.
```
This runs all scripts and returns with a non-zero exit code if any failed.
ACKs for commit f3b90f:
Tree-SHA512: 4f1f6435855dd5074a38c5887be6f096ec66f4dbe8712bdfd5fed0c510f1b2c083b7318cf3bfbdcc85982429fb7b4309e57ce48cc11736c86376658ec7ffea8f
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions