diff options
author | Erich Eckner <git@eckner.net> | 2017-07-04 21:57:07 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-04 21:57:07 +0200 |
commit | b8df7a8b87508d851b46c0078b73727e2c346190 (patch) | |
tree | a69ba7a865f2e69b17faac7928b9f36dd8658e67 /bin/common-functions | |
parent | 8f5836072478f46131e90c7df004accf0172004f (diff) | |
download | builder-b8df7a8b87508d851b46c0078b73727e2c346190.tar.xz |
bin/common-functions, bin/db-update, bin/return-assignment: recognize build-support as untested, unstaged repository
Diffstat (limited to 'bin/common-functions')
-rwxr-xr-x | bin/common-functions | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/bin/common-functions b/bin/common-functions index 25c592f..8f223ca 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -238,13 +238,21 @@ repository_of_package() { esac } -# official_or_community $package.$repo_revision.$mod_repo_revision.$repository +# official_or_community $package.$repo_revision.$mod_repo_revision.$repository $ending # print wether the specified package is an official package (print -# nothing) or a community package (print 'community-') +# $ending) or a community package (print 'community-$ending') or a +# build-suppor package (print 'build-support') official_or_community() { - if [ "$(repository_of_package "$1")" = 'community' ]; then - echo 'community-' + local prepo + prepo="$(repository_of_package "$1")" + + if [ "${prepo}" = 'community' ]; then + echo 'community-'"$2" + elif [ "${prepo}" = 'build-support' ]; then + echo 'build-support' + else + echo "$2" fi } |