From: Stephen Rothwell Date: Sun, 15 Dec 2019 22:10:08 +0000 (+1100) Subject: merg_old_version: push even if not building X-Git-Url: https://git.ozlabs.org/?a=commitdiff_plain;h=a36a2bf15646671b4fd5a0ad2df94d9c5d863a9a;p=next-scripts merg_old_version: push even if not building --- diff --git a/merge_old_version b/merge_old_version index bc3ec5f..c5975ec 100755 --- a/merge_old_version +++ b/merge_old_version @@ -93,13 +93,13 @@ d=$(date --date "5 hours ago" '+%Y%m%d') sed -i '$d' $SHA1_FILE printf "%s$tab%s\n" $tree $rev >>$SHA1_FILE -$no_build && exit 0 - git push -f "${build_host}${build_host:+:}${build_dir}" master:refs/heads/next || { echo git push failed 1>&2 bash -i || exit } +$no_build && exit 0 + "$bin_dir/do_build" "$tree" || { echo Build failed 1>&2 bash -i || exit