From 2076486dd922a6643dbd19a670ce747470676e01 Mon Sep 17 00:00:00 2001 From: Michael Ellerman Date: Fri, 19 Jun 2015 15:40:38 +1000 Subject: [PATCH] do_merge: Prompt whether a build should happen --- do_merge | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/do_merge b/do_merge index 2b688c4..b21d9b8 100755 --- a/do_merge +++ b/do_merge @@ -178,6 +178,15 @@ for h in $heads; do do_build=$(grep -v '^#' $CTRL_FILE | awk -F ' ' '$3=="'$tree'" { print $6; }') [ "$do_build" = "yes" ] || continue + + notify-send -u normal "Waiting for build confirmation for $tree" + echo "Do build for $tree? ($i/$total) y/n" + read response + if [ "$response" != "y" ]; then + echo "skipping build" + continue + fi + git push -f "$build_host":"$build_dir" master:refs/heads/next || { echo git push failed 1>&2 notify-send -t 0 -u critical "linux-next push failed for $tree!" -- 2.39.5