profile/proteanos: Add more section feeds

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}"