diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2023-06-07 09:38:59 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2023-06-07 09:38:59 +0000 |
commit | 01811153e197d3f42aa271c501597f2c2d24ee5b (patch) | |
tree | 935d9c912a978368fbf9da2d21a16cdf541d49f5 /jenkins-helpers.sh | |
parent | 54b8a42132ae89ffb074c372704ff1e859def4d5 (diff) |
round-robin-notify.sh: Move single_commit_p() here
... from jenkins-helpers.sh, since there are no other users.
Change-Id: I3506e8b899d8f27b53366bdacfa385cb5b64c45f
Diffstat (limited to 'jenkins-helpers.sh')
-rw-r--r-- | jenkins-helpers.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 742d66f7..716e8f81 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -1001,26 +1001,6 @@ set_current_git () ) } -# Exit with 0 status if given components collectively have a single commit -# compared to baseline. -# $@: components -single_commit_p () -{ - if [ $# = 1 ]; then - local c base_rev cur_rev sha1 - c=$1 - base_rev=$(get_baseline_git ${c}_rev) - cur_rev=$(get_current_git ${c}_rev) - for sha1 in $(git -C $c rev-parse $cur_rev^@); do - if [ x"$sha1" = x"$base_rev" ]; then - # We have a single-commit build - return 0 - fi - done - fi - return 1 -} - # Print round-robin components that are being updated in this build # (the ones using non-baseline branches). print_updated_components () |