12 . "$(dirname $0)/common.sh"
16 echo "$@" | tee -a $LOG_FILE
22 $@ 2>&1 | tee -a $LOG_FILE
23 return ${PIPESTATUS[0]}
26 GIT_EDITOR=: execute git am -3 "$patch" || exit 1
30 git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next || {
31 echo git push failed 1>&2
34 "$bin_dir/do_build" || {
35 echo Build failed 1>&2