2021-07-31 12:49:32 -06:00
|
|
|
#!/usr/bin/env bash
|
2021-07-29 09:46:35 -06:00
|
|
|
#
|
|
|
|
|
# This script assumes a linux environment
|
|
|
|
|
|
2021-07-31 15:34:25 -06:00
|
|
|
set -e
|
|
|
|
|
|
2021-07-29 09:46:35 -06:00
|
|
|
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
|
