From 0720407b8caee8e1c305c32c1552e8f22669560b Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Fri, 11 Mar 2016 12:07:26 +0100
Subject: [PATCH] Make submodule check less verbose

---
 Tools/check_submodules.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh
index 169e588533..4d3c05db9b 100755
--- a/Tools/check_submodules.sh
+++ b/Tools/check_submodules.sh
@@ -16,9 +16,8 @@ if [ -f $1"/.git" ];
 	then
 	SUBMODULE_STATUS=$(git submodule summary "$1")
 	STATUSRETVAL=$(echo $SUBMODULE_STATUS | grep -A20 -i "$1")
-	if [ -z "$STATUSRETVAL" ]; then
-		echo "Checked $1 submodule, correct version found"
-	else
+	if ! [[ -z "$STATUSRETVAL" ]];
+	then
 		echo -e "\033[31mChecked $1 submodule, ACTION REQUIRED:\033[0m"
 		echo ""
 		echo -e "Different commits:"