summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick McDermott <patrick.mcdermott@libiquity.com>2020-06-24 00:04:11 (EDT)
committer Patrick McDermott <patrick.mcdermott@libiquity.com>2020-06-24 00:04:11 (EDT)
commit18a78f7e70edc6990ae7226e7f9319a57edff89e (patch)
tree03ac5895e8d10de9c7a289d8597105b6825bf9d2
parent707f65e601a93e4dc6c6b1452efc04d141f3cad2 (diff)
profile/proteanos: Add more section feeds
-rw-r--r--src/profile/proteanos.sh11
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}"