3 LOG_FILE="../merge.log"
5 build_dir="/scratch/sfr/next"
6 build_cmd="bin/build_next"
18 [ -z "$start_from" ] && {
19 echo "-s requires a start tree" 1>&2
24 [ -n "$1" ] && build_host="$1"
28 echo "$@" | tee -a $LOG_FILE
34 $@ 2>&1 | tee -a $LOG_FILE
35 return ${PIPESTATUS[0]}
38 [ -n "$start_from" ] || {
39 cp /dev/null $LOG_FILE
40 execute git checkout master
41 execute git reset --hard stable
44 heads=$(grep -v '^#' ../real_control | awk -F ' ' '$2=="quilt" { printf("quilt/%s ", $3); } $2=="git" { printf("%s/%s ", $3, $5); }')
50 [ "$tree" == "quilt" ] && tree=${h#quilt/}
52 [ -n "$start_from" ] && {
53 if [ "$tree" = "$start_from" ]; then
61 old_head=$(git rev-parse HEAD)
62 execute git merge $h || {
63 echo Merge failed 1>&2
64 echo $h >>../merge.debug
65 git diff >>../merge.debug 2>&1
66 git diff 2>&1 | egrep -q '<<<<<|^\*' && {
69 GIT_EDITOR=: execute git commit -v -a
70 execute git diff -M --stat --summary 'HEAD^..'
72 [ -f "../merge-fixes/$tree" ] && {
73 for p in $(cat "../merge-fixes/$tree"); do
74 ../tools/merge_fix -n "$p" || {
81 # See if we need to build after merging this tree
82 new_head=$(git rev-parse HEAD)
83 [ "$old_head" = "$new_head" ] ||
84 [ "$(git diff ${old_head}.. | wc -c)" -eq 0 ] ||
89 do_build=$(grep -v '^#' ../real_control | awk -F ' ' '$3=="'$tree'" { print $6; }')
90 [ "$do_build" = "yes" ] ||
92 rsync -avH --exclude .git --delete . "$build_host":"$build_dir"/. || {
93 echo Rsync failed 1>&2
96 ssh "$build_host" "$build_cmd" || {
97 echo Build failed 1>&2