Fixed prepare_infrastructure again to work with older Git

diff --git a/build/prepare_infrastructure b/build/prepare_infrastructure
index 211d0c627b4280d4a798ad5680eaf67a3497e728..7dcbcddeafe01fcec27aa15762456542dc258030 100755 (executable)
--- a/build/prepare_infrastructure
+++ b/build/prepare_infrastructure
@@ -18,7 +18,7 @@ update_submodule() {
        git config --remove-section "submodule.$path"
        git checkout "$path"
     else
-       ( cd $path && git submodule update --init ) || exit 1
+       ( cd $path && git submodule init && git submodule update ) || exit 1
     fi
 }