7 grep -v '^#' ../real_control |
8 awk -F ' ' '$3 == "'$1'" { print $'$2'; }'
11 trees=$(grep -v '^#' ../real_control | awk -F ' ' '{ print $3 }')
13 for name in $trees; do
14 type=$(get_field "$name" 2)
17 if [ "$type" = "git" ]; then
22 if [ "$type" = "quilt" ]; then
23 url=$(get_field "$name" 4)
24 url=${url%/} # strip trailing / if necessary
27 echo "Cannot chdir to ../quilt" 1>&2
30 [ -d "$name" ] || mkdir "$name" || {
31 echo "Cannot create quilt directory for $name" 1>&2
36 echo "Cannot chdir to quilt directory for $name" 1>&2
40 wget -N -nv --no-cache "$url/series" || {
41 echo "Wget of $name series file failed" 1>&2
48 find * -type f | grep -v '^series$' | sort >.series.old
50 grep -q NEXT_PATCHES series &&
54 *NEXT_PATCHES_START*) do_echo=echo ;;
55 *NEXT_PATCHES_END*) do_echo=: ;;
60 sed -e 's/[ ]*#.*$//' -e '/^[ ]*$/d' |
62 sed "s|^|$url/|" .series.next |
63 wget -N -nv --no-cache -i - || {
64 echo "Wget of series '$name' failed" 1>&2
71 comm -23 .series.old .series.next | xargs -r rm -f
72 rm -f .series.old .series.next
79 git commit -v -a -m "$(date '+%F-%H:%M')" -e