diff options
Diffstat (limited to 'src/profile')
| -rw-r--r-- | src/profile/proteanos.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index c865f43..e593e03 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -149,13 +149,22 @@ prof_proteanos_feeds() local plat="${3}" local suite="${4}" shift 4 + local sects= local a= local p= local s= + + case "${plat}" in + 'dev') + sects='base dev lib libdev share util' + ;; + *) + sects='boot lib share util' + esac for a in "${arch}" 'all'; do for p in "${plat}" 'all'; do - for s in 'base'; do + for s in ${sects}; do printf 'src/gz proteanos_%s_%s_%s_%s_%s.gz ' \ "${suite%/*}" "${suite#*/}" \ "${a}" "${p}" "${s}" |