summaryrefslogtreecommitdiffstats
path: root/src/profile
diff options
context:
space:
mode:
Diffstat (limited to 'src/profile')
-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}"