diff options
-rwxr-xr-x | scripts/ci/build.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index b91de1523d..8a0fcea688 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -52,17 +52,6 @@ else } fi -# Returns the full release name in the form NAME(rcRC)? -function get_full_release_name() { - local rc=$(get_release_candidate) - local name=$(get_release_name) - if [ -n "${rc}" ]; then - echo "${name}rc${rc}" - else - echo "${name}" - fi -} - function setup_android_repositories() { if [ ! -f WORKSPACE.bak ] && [ -n "${ANDROID_SDK_PATH-}" ]; then cp WORKSPACE WORKSPACE.bak |