From 1ebe215c605de83dfe03665d9b84d8a0018b3fac Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sun, 23 Apr 2017 23:48:20 -0400
Subject: [PATCH] check_submodules.sh only sync selected submodule

---
 Tools/check_submodules.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/check_submodules.sh b/Tools/check_submodules.sh
index 836b557a65..5fdc26acfc 100755
--- a/Tools/check_submodules.sh
+++ b/Tools/check_submodules.sh
@@ -45,7 +45,7 @@ then
 else
 	echo "REINITIALIZING GIT SUBMODULES"
 	echo "no git repo found in $1/.git"
-	git submodule sync --recursive;
+	git submodule sync --recursive -- $1;
 	git submodule update --init --recursive $1;
 fi