From 18a78f7e70edc6990ae7226e7f9319a57edff89e Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Wed, 24 Jun 2020 00:04:11 -0400 Subject: profile/proteanos: Add more section feeds --- (limited to 'src/profile') 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}" -- cgit v0.9.1