|
@@ -17,12 +17,12 @@ bold() {
|
|
|
git_sync() {
|
|
git_sync() {
|
|
|
mkdir -p "${third_party}"
|
|
mkdir -p "${third_party}"
|
|
|
if [ -d "${third_party}/${1}" ]; then
|
|
if [ -d "${third_party}/${1}" ]; then
|
|
|
- git -C "${third_party}/${1}" fetch --quiet -p
|
|
|
|
|
- git -C "${third_party}/${1}" reset --quiet --hard origin/master
|
|
|
|
|
|
|
+ git -C "${third_party}/${1}" pull --quiet --prune
|
|
|
else
|
|
else
|
|
|
git -C "${third_party}" clone --quiet --recursive ${2} ${1}
|
|
git -C "${third_party}" clone --quiet --recursive ${2} ${1}
|
|
|
fi
|
|
fi
|
|
|
- git -C "${third_party}/${1}" submodule update --quiet --init
|
|
|
|
|
|
|
+ git -C "${third_party}/${1}" submodule sync --quiet
|
|
|
|
|
+ git -C "${third_party}/${1}" submodule update --quiet --init --recursive
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
clean() {
|
|
clean() {
|