From 53f1b3190215f373aa5d8d38264b4ba5771b1676 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Thu, 24 Jul 2014 21:41:09 +0200
Subject: [PATCH] Do not abort on submodule init feedback

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

diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh
index 0c03396e7b..3904a27753 100755
--- a/Tools/check_submodules.sh
+++ b/Tools/check_submodules.sh
@@ -73,8 +73,8 @@ then
 		exit 1
 	fi
 else
-	git submodule init
-	git submodule update
+	git submodule init;
+	git submodule update;
 fi
 
 exit 0