diff --git a/git-build.sh b/git-build.sh index 4adfcf5..a4d0b0b 100755 --- a/git-build.sh +++ b/git-build.sh @@ -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