diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh index 09ac0a232..6f5c9108c 100755 --- a/tools/update-submodules.sh +++ b/tools/update-submodules.sh @@ -7,7 +7,7 @@ set -e echo "*** Update submodules" git submodule update --remote -if [ `git diff --quiet ./submodules/` ]; then +if [[ $(git diff ./submodules/) ]]; then git add -u submodules/ git commit -m 'Update submodules' git push origin master