From 0e3e9073e2ec92835c073bb24a264747c0675585 Mon Sep 17 00:00:00 2001 From: Stephen Rothwell Date: Thu, 16 Apr 2009 14:49:40 +1000 Subject: [PATCH] suppress some more unneeded builds --- do_merge | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/do_merge b/do_merge index d164812..789d361 100755 --- a/do_merge +++ b/do_merge @@ -70,10 +70,8 @@ for h in $heads; do # See if we need to build after merging this tree new_head=$(git rev-parse HEAD) [ "$old_head" = "$new_head" ] || - need_build=true - $need_build || [ "$(git diff ${old_head}.. | wc -c)" -eq 0 ] || - need_build=true + need_build=true } $need_build || continue -- 2.39.5