scripts/fetch-git.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

set -e

if [ "$#" != 1 ] ; then
	echo 'usage: fetch-git.sh dir' >&2
	exit 2
fi

cd "$1"

git submodule update --init --checkout src
if [ -d patch ] ; then
	git -C src am --whitespace=nowarn "$PWD"/patch/*
fi