You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 lines
995 B
42 lines
995 B
#! /bin/sh
|
|
|
|
if [ $# = 0 ]; then
|
|
echo "Usage: $0 <submoduledir1>..." >&2
|
|
exit 1
|
|
fi
|
|
|
|
# If no git dir, forget it.
|
|
[ -d .git ] || exit 0
|
|
|
|
# git submodule can't run in parallel. Really.
|
|
# Wait for it to finish if in parallel.
|
|
if ! mkdir .refresh-submodules 2>/dev/null ; then
|
|
# If we don't make progress in ~60 seconds, force delete and retry.
|
|
LIMIT=$((50 + $$ % 20))
|
|
i=0
|
|
while [ $i -lt $LIMIT ]; do
|
|
[ -d .refresh-submodules ] || exit 0
|
|
sleep 1
|
|
i=$((i + 1))
|
|
done
|
|
rmdir .refresh-submodules
|
|
exec "$0" "$@" || exit 1
|
|
fi
|
|
|
|
trap "rmdir .refresh-submodules" EXIT
|
|
|
|
# Be a little careful here, since we do rm -rf!
|
|
for m in "$@"; do
|
|
if ! grep -q "path = $m\$" .gitmodules; then
|
|
echo "$m is not a submodule!" >&2
|
|
exit 1
|
|
fi
|
|
done
|
|
|
|
# git submodule can segfault. Really.
|
|
if [ "$(git submodule status "$@" | grep -c '^ ')" != $# ]; then
|
|
echo Reinitializing submodules "$@" ...
|
|
git submodule sync "$@"
|
|
rm -rf "$@"
|
|
git submodule update --init "$@"
|
|
fi
|
|
|