diff --git a/Tools/check_code_style.sh b/Tools/check_code_style.sh index ab012b1c09..5ffc0ac5d2 100755 --- a/Tools/check_code_style.sh +++ b/Tools/check_code_style.sh @@ -9,6 +9,13 @@ then ${DIR}/fix_code_style.sh --dry-run $file | grep --quiet Formatted if [[ $? -eq 0 ]] then + ${DIR}/fix_code_style.sh --quiet < $file > $file.pretty + + echo + git diff --no-index --minimal --histogram --color=always $file $file.pretty + echo + + rm -f $file.pretty echo $file 'bad formatting, please run "./Tools/fix_code_style.sh' $file'"' exit 1 fi