mirror of
https://github.com/ElementsProject/lightning.git
synced 2025-01-06 05:49:30 +01:00
b3d5220da5
Otherwise make thinks we're done, and we can get errors. Include primitive code if we abort build halfway and leave .refresh-submodules dir. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
43 lines
995 B
Bash
Executable File
43 lines
995 B
Bash
Executable File
#! /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
|