blob: a39efe64cbcfbc00bae1170132ef33b9571db4a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
#
# Updates a superproject
#
# Parameters
BASENAME="`basename $0`"
# Check
if [ ! -e ".git" ]; then
echo "$BASENAME: not a git repository"
exit 1
fi
# Ensure we have the right ssh command
GIT_SSH_COMMAND="`git config core.sshCommand`"
# Run
git fetch --all
git pull $* || exit 1
git submodule sync --recursive
GIT_SSH_COMMAND="$GIT_SSH_COMMAND" git submodule update --recursive --init
git submodules-checkout-branch
|
