From a2b1269b275d53af3241669ff676da3e7b0db17f Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Thu, 30 Jun 2016 21:00:11 -0400
Subject: [PATCH] check_code_style don't paginate output (#4952)

- fixes #4943
---
 Tools/check_code_style.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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