blob: 0ff3d9a1dedc7f1c0f84c8b5eeedc645a7587739 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
set -e
if [ "$#" != 1 ] ; then
echo 'usage: fetch-curl.sh dir' >&2
exit 2
fi
dir=$1
shift
cd "$dir"
if [ -e src ] ; then
rm -rf src
fi
if ! sh "$OLDPWD/scripts/checksum.sh" -c sha256 2>/dev/null ; then
curl -L -K url -O
sh "$OLDPWD/scripts/checksum.sh" -c sha256
fi
while read -r _ archive ; do
sh "$OLDPWD/scripts/extract.sh" "$archive" -s ',^[^/]*,src,'
done <sha256
if [ -d patch ] ; then
git apply -v --whitespace=nowarn --directory "$dir/src" patch/*.patch
fi
|
