From 05b7dd0046a11562a6a52f020729462f1c56179e Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sun, 24 Apr 2016 19:25:31 -0400
Subject: [PATCH] check_code_style don't create tmp files

---
 Tools/check_code_style.sh | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/Tools/check_code_style.sh b/Tools/check_code_style.sh
index 40614dd92e..ab012b1c09 100755
--- a/Tools/check_code_style.sh
+++ b/Tools/check_code_style.sh
@@ -6,12 +6,11 @@ DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 
 if [ -f "$file" ];
 then
-  ${DIR}/fix_code_style.sh --quiet < $file > $file.pretty
-  diffsize=$(diff -y --suppress-common-lines $file $file.pretty | wc -l)
-  rm -f $file.pretty
-  if [ $diffsize -ne 0 ]; then
-    echo $file 'bad formatting, please run "./Tools/fix_code_style.sh' $file'"'
-    exit 1
-  fi
+	${DIR}/fix_code_style.sh --dry-run $file | grep --quiet Formatted
+	if [[ $? -eq 0 ]]
+	then
+		echo $file 'bad formatting, please run "./Tools/fix_code_style.sh' $file'"'
+		exit 1
+	fi
 fi