}
-heads=$(grep -v '^#' "$CTRL_FILE" | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); }')
+heads=$(grep -v '^#' "$CTRL_FILE" | awk -F '\t' '$2=="quilt" || $2=="git" { printf("%s/%s ", $3, $5); } $2=="branch" { printf("branch/%s ", $1); }')
need_build=false
fi
}
+ [ "$tree" = "branch" ] && {
+ git branch -f "${h#branch/}"
+ continue
+ }
+
hlog=$(git log -1 --oneline "${h/\/*://}") 2>/dev/null
old_head=$(git rev-parse HEAD)
[ -f "../pre-merge/$tree" ] && {
bash -i || exit
}
}
- "$bin_dir/do_build" || {
+ "$bin_dir/do_build" "$tree" || {
echo Build failed 1>&2
notify-send -t 0 -u critical "linux-next build failed for $tree!"
pushover "linux-next build failed for $tree!"