3 LOG_FILE="../merge.log"
5 build_dir="/scratch/sfr/next"
6 build_cmd="bin/build_next"
7 [ "$NEXT_BUILD_HOST" ] && build_host="$NEXT_BUILD_HOST"
8 [ "$NEXT_BUILD_DIR" ] && build_dir="$NEXT_BUILD_DIR"
28 export NEXT_BUILD_HOST="$build_host"
29 export NEXT_BUILD_DIR="$build_dir"
33 echo "$@" | tee -a $LOG_FILE
39 $@ 2>&1 | tee -a $LOG_FILE
40 return ${PIPESTATUS[0]}
43 GIT_EDITOR=: execute git revert $rev || exit 1
47 git push -f "$build_host":"$build_dir" master:refs/heads/next || {
48 echo git push failed 1>&2
51 ssh "$build_host" "$build_cmd" || {
52 echo Build failed 1>&2