diff options
Diffstat (limited to 'tools/infrastructure/check_style.sh')
| -rwxr-xr-x | tools/infrastructure/check_style.sh | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/tools/infrastructure/check_style.sh b/tools/infrastructure/check_style.sh index 647427e793..08ae1b9860 100755 --- a/tools/infrastructure/check_style.sh +++ b/tools/infrastructure/check_style.sh @@ -58,6 +58,19 @@ if [ "$1" = "--fix" ] then for FILE_NAME in $FILE_NAMES; do fix_style $FILE_NAME; done else - for FILE_NAME in $FILE_NAMES; do check_style $FILE_NAME; done + PASSED=0 + for FILE_NAME in $FILE_NAMES; do + check_style $FILE_NAME + if [ $? != 0 ] + then + echo "in " $FILE_NAME + PASSED=1 + fi + done + if [ $PASSED = 1 ] + then + exit 1 + fi fi + |