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