show bad formatting diff

This commit is contained in:
Daniel Agar 2016-06-21 11:49:42 -04:00 committed by Lorenz Meier
parent 4d0bb9f1e2
commit b65291579f
1 changed files with 7 additions and 0 deletions

View File

@ -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