diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-06-24 00:07:23 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2020-06-24 00:07:23 (EDT) |
commit | 4daa379927d395c51086fd2b71a51427b4cd1f20 (patch) | |
tree | 54b81db2551054fd2b3f6eaabe835f7da8784b38 | |
parent | 18a78f7e70edc6990ae7226e7f9319a57edff89e (diff) |
profile/proteanos: Add "src" section feed
-rw-r--r-- | src/profile/proteanos.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index e593e03..519bda2 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -172,10 +172,11 @@ prof_proteanos_feeds() "${mirror}" "${suite}" \ "${a}" "${p}" "${s}" done + printf '\n' done done - for s in 'base'; do + for s in 'base' 'src'; do printf 'src/gz proteanos_%s_%s_%s_%s_%s.gz ' \ "${suite%/*}" "${suite#*/}" \ 'src' 'all' "${s}" |