diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-18 17:20:22 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-18 17:20:22 (EDT) |
| commit | 6c2f0921fb023a02b143bcf81487b89890c539d0 (patch) | |
| tree | fb7073d9776f35decec22d1fea32881f51d77e00 /lib/profile.sh | |
| parent | 3fca5b14bb30dca5f33108be1048acbc1c733787 (diff) | |
profile_feeds(): Accept a mirror argument
Diffstat (limited to 'lib/profile.sh')
| -rw-r--r-- | lib/profile.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/profile.sh b/lib/profile.sh index 40888ea..3e68ff4 100644 --- a/lib/profile.sh +++ b/lib/profile.sh @@ -94,11 +94,12 @@ profile_select_mirror() profile_feeds() { - local arch="${1}" - local plat="${2}" - local suite="${3}" + local mirror="${1}" + local arch="${2}" + local plat="${3}" + local suite="${4}" - "prof_${profile}_feeds" "${arch}" "${plat}" "${suite}" + "prof_${profile}_feeds" "${mirror}" "${arch}" "${plat}" "${suite}" } profile_dep_fields() |