diff options
| author | Slávek Banko <slavek.banko@axis.cz> | 2013-05-05 02:30:01 +0200 |
|---|---|---|
| committer | Slávek Banko <slavek.banko@axis.cz> | 2013-05-05 02:30:01 +0200 |
| commit | 7e23a1ee30a44babc95d17e3ecbb233e14f650c2 (patch) | |
| tree | 910c6b792522f70395b74a051005fd076f960ae0 /update_all_submodules | |
| parent | f7f29b7ce2aa3f1b5b93800bfabddb51104d57d1 (diff) | |
| download | scripts-7e23a1ee30a44babc95d17e3ecbb233e14f650c2.tar.gz scripts-7e23a1ee30a44babc95d17e3ecbb233e14f650c2.zip | |
Added ignore-submodules flag, depending on the GIT version
Diffstat (limited to 'update_all_submodules')
| -rwxr-xr-x | update_all_submodules | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/update_all_submodules b/update_all_submodules index 498dcef..563b3bd 100755 --- a/update_all_submodules +++ b/update_all_submodules @@ -19,12 +19,17 @@ if [[ -z "$branch" ]] || exit 1 fi +# check git abilities +if [[ -n "`git status --help 2>/dev/null|grep -- '--ignore-submodules'`" ]]; then + GIT_IGNORE_SUBMODULES="--ignore-submodules" +fi + touch /var/lock/update-tde-git-submodules PARENTDIR=$PWD echo "Working in $PARENTDIR" git pull -if [[ ! -z "`git status --porcelain`" ]]; then +if [[ ! -z "`git status --porcelain $GIT_IGNORE_SUBMODULES`" ]]; then git reset --hard HEAD git clean -dxff fi @@ -44,7 +49,7 @@ do git submodule update fi cd $PARENTDIR/$DIR2UPDATE - if [[ ! -z "`git status --porcelain`" ]]; then + if [[ ! -z "`git status --porcelain $GIT_IGNORE_SUBMODULES`" ]]; then git reset --hard HEAD git clean -dxff fi |