Merge branch 'master' into listener

This commit is contained in:
Tim Kuehn
2016-02-27 14:11:16 -08:00

View File

@@ -93,8 +93,7 @@ for file in $(git diff --name-only --cached);
do
if [ ${file: -3} == ".rs" ]; then
diff=$(rustfmt --skip-children --write-mode=diff $file)
result=$(echo $diff | grep --quiet "^Diff at line")
if $result; then
if grep --quiet "^Diff at line" <<< "$diff"; then
FMTRESULT=1
fi
fi