diff options
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 () |