7 grep -v '^#' ../real_control |
8 awk -F ' ' '$3 == "'$1'" { print $'$2'; }'
13 trees=$(grep -v '^#' ../real_control | awk -F ' ' '{ print $3 }')
15 for name in $trees; do
16 type=$(get_field "$name" 2)
19 if [ "$type" = "git" ]; then
24 if [ "$type" = "quilt" ]; then
25 url=$(get_field "$name" 4)
26 url=${url%/} # strip trailing / if necessary
29 echo "Cannot chdir to ../quilt" 1>&2
32 [ -d "$name" ] || mkdir "$name" || {
33 echo "Cannot create quilt directory for $name" 1>&2
38 echo "Cannot chdir to quilt directory for $name" 1>&2
42 wget -N -nv --no-cache "$url/series" || {
43 echo "Wget of $name series file failed" 1>&2
50 find * -type f | grep -v '^series$' | sort >.series.old
52 grep -q NEXT_PATCHES series &&
56 *NEXT_PATCHES_START*) do_echo=echo ;;
57 *NEXT_PATCHES_END*) do_echo=: ;;
62 sed -e 's/[ ]*#.*$//' -e '/^[ ]*$/d' |
64 sed "s|^|$url/|" .series.next |
65 wget -N -nv --no-cache -i - || {
66 echo "Wget of series '$name' failed" 1>&2
73 comm -23 .series.old .series.next | xargs -r rm -f
74 rm -f .series.old .series.next
81 git commit -v -a -m "$(date '+%F-%H:%M')" -e