diff --git a/Tools/check_code_style.sh b/Tools/check_code_style.sh
index 5ffc0ac5d2..898f9d1c38 100755
--- a/Tools/check_code_style.sh
+++ b/Tools/check_code_style.sh
@@ -12,7 +12,7 @@ then
 		${DIR}/fix_code_style.sh --quiet < $file > $file.pretty
 
 		echo
-		git diff --no-index --minimal --histogram --color=always  $file $file.pretty
+		git --no-pager diff --no-index --minimal --histogram --color=always  $file $file.pretty
 		echo
 
 		rm -f $file.pretty