From a36a2bf15646671b4fd5a0ad2df94d9c5d863a9a Mon Sep 17 00:00:00 2001
From: Stephen Rothwell <sfr@canb.auug.org.au>
Date: Mon, 16 Dec 2019 09:10:08 +1100
Subject: [PATCH] merg_old_version: push even if not building

---
 merge_old_version | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.5