Also clone/update submodules
This commit is contained in:
parent
265fae11fe
commit
89628d2b43
|
@ -19,7 +19,8 @@ for project in $BASEDIR/*.source; do
|
|||
if [ ! -d $p_dir ]; then
|
||||
source="$(cat $BASEDIR/$p_name.source)"
|
||||
echo "[$p_name] CLONE $source"
|
||||
git clone "$source" "$p_dir"
|
||||
# Don't forget the git submodules!
|
||||
git clone --recursive "$source" "$p_dir"
|
||||
[[ $? != 0 ]] && echo "[$p_name] CLONE FAILED" && exit 1
|
||||
if [[ "$p_branch" != "master" ]]; then
|
||||
cd $p_dir
|
||||
|
@ -34,7 +35,8 @@ for project in $BASEDIR/*.source; do
|
|||
git diff --quiet remotes/origin/$p_branch
|
||||
if [[ $? != 0 ]]; then
|
||||
echo "[$p_name] PULL"
|
||||
git pull --quiet
|
||||
# Update all submodules, for now only when the main repo changed (TODO)
|
||||
git pull --quiet --recurse-submodules
|
||||
[[ $? != 0 ]] && echo "[$p_name] PULL FAILED" && exit 1
|
||||
echo "[$p_name] RUN"
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue