diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh new file mode 100755 index 000000000..3391f21ab --- /dev/null +++ b/tools/update-submodules.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash +# +# This script assumes a linux environment + +echo "*** Update submodules" + +git submodule update --remote +if [ `git diff --quiet ./submodules/` ]; then + git add -u submodules/ + git commit -m 'Update submodules' + git push origin master + echo "*** Submodules updated" +else + echo "*** Submodules are already up to date" +fi