diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-28 01:45:32 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-28 01:45:32 -0500 |
| commit | 5c153b813718f34b12a2bdc3b226ce573365a8e2 (patch) | |
| tree | fdc8a9ec1696dd1988048ad9a2beb696555e7867 /config | |
| parent | 1896e9b9e11cdb70094d79ba369ca3f3b3d0d969 (diff) | |
Modify pool to arm packages
Diffstat (limited to 'config')
| -rw-r--r-- | config | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ PROJREPOS=('nonsystemd' 'nonsystemd-testing' 'nonprism' 'nonprism-testing' 'pcr' # Remote repos PKGREPOS=("${ARCHREPOS[@]}" "${OURREPOS[@]}" "${USERREPOS[@]}" "${PROJREPOS[@]}") PKGPOOL='pool/parabola' +PKGPOOLARM='pool/arch_gnu+linux_arm' SRCPOOL='sources/parabola' # Directories where packages are shared between repos |