13 . "$(dirname $0)/common.sh"
17 echo "$@" | tee -a $LOG_FILE
23 $@ 2>&1 | tee -a $LOG_FILE
24 return ${PIPESTATUS[0]}
27 GIT_EDITOR=: execute git revert $rev || exit 1
31 git push -f "$build_host":"$build_dir" master:refs/heads/next || {
32 echo git push failed 1>&2
35 "$bin_dir/do_build" || {
36 echo Build failed 1>&2