From 18a78f7e70edc6990ae7226e7f9319a57edff89e Mon Sep 17 00:00:00 2001
From: Patrick McDermott <patrick.mcdermott@libiquity.com>
Date: Wed, 24 Jun 2020 00:04:11 -0400
Subject: profile/proteanos: Add more section feeds

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