Update start_server.sh
Browse files- start_server.sh +1 -1
start_server.sh
CHANGED
@@ -20,7 +20,7 @@ if [[ ! -z "$REPOS" ]]; then
|
|
20 |
do
|
21 |
dir=$(basename "$REPO" .git)
|
22 |
echo start to clone initial repo $REPO into $dir
|
23 |
-
git clone --progress $REPO $dir
|
24 |
cd $dir
|
25 |
[[ -z $(git config user.name) ]] && git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
26 |
[[ -z $(git config user.email) ]] && git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|
|
|
20 |
do
|
21 |
dir=$(basename "$REPO" .git)
|
22 |
echo start to clone initial repo $REPO into $dir
|
23 |
+
git clone --recurse-submodules -j8 --progress $REPO $dir
|
24 |
cd $dir
|
25 |
[[ -z $(git config user.name) ]] && git config --global user.name "$(git log -1 --pretty=format:'%an')"
|
26 |
[[ -z $(git config user.email) ]] && git config --global user.email "$(git log -1 --pretty=format:'%ae')"
|