diff options
Diffstat (limited to 'src/profile')
| -rw-r--r-- | src/profile/proteanos.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index c41eada..6a0afd0 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -160,6 +160,10 @@ prof_proteanos_feeds() local p= local s= + [ -z "${prof_proteanos_manifest}" ] && \ + prof_proteanos_manifest="$(${WGET} -q -O - -- \ + "${mirror}/feeds/${suite}/Manifest")" + case "${plat}" in 'dev') sects='base dev lib libdev share util' @@ -171,6 +175,10 @@ prof_proteanos_feeds() for a in "${arch}" 'all'; do for p in "${plat}" 'all'; do for s in ${sects}; do + case "${LF}${prof_proteanos_manifest}${LF}" in + *"${LF}${a}/${p}/${s}${LF}"*) ;; + *) continue;; + esac printf 'src/gz proteanos_%s_%s_%s_%s_%s.gz ' \ "${suite%/*}" "${suite#*/}" \ "${a}" "${p}" "${s}" |