}
-heads=$(grep -v '^#' ../real_control | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
+heads=$(grep -v '^#' ../etc/control | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
need_build=false
}
$need_build ||
continue
- do_build=$(grep -v '^#' ../real_control | awk -F ' ' '$3=="'$tree'" { print $6; }')
+ do_build=$(grep -v '^#' ../etc/control | awk -F ' ' '$3=="'$tree'" { print $6; }')
[ "$do_build" = "yes" ] ||
continue
git push -f "$build_host":"$build_dir" master:refs/heads/next || {