1set -e
 2
 3. ./paths.sh
 4dir=$1
 5shift
 6
 7cd "$distdir"
 8
 9if ! sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256" 2>/dev/null ; then
10        curl -L -K "$basedir/$dir/url" -O
11        sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256"
12fi
13
14cd "$basedir/$dir"
15rm -rf src
16
17read -r _ archive <sha256
18sh "$basedir/scripts/extract.sh" "$distdir/$archive" -s ',^[^/]*,src,' \
19	'linux-*/Makefile' \
20	'linux-*/arch/*/include/uapi/' \
21	'linux-*/arch/*/entry/syscalls/' \
22	'linux-*/include/uapi/' \
23	'linux-*/scripts/syscall.tbl' \
24	'linux-*/scripts/unifdef.c'
25
26if [ -d patch ] ; then
27	git apply -v --whitespace=nowarn --directory "$dir/src" patch/*.patch
28fi