1set -e
 2
 3if [ "$#" != 1 ] ; then
 4	echo 'usage: fetch-git.sh dir' >&2
 5	exit 2
 6fi
 7
 8. ./paths.sh
 9cd "$basedir/$1"
10
11git submodule update --init --checkout src
12if [ -d patch ] ; then
13	cd src
14	git am --keep-non-patch --whitespace=nowarn ../patch/*.patch
15fi