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