summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEli Schwartz <eschwartz@archlinux.org>2019-05-20 14:10:35 -0400
committerLevente Polyak <anthraxx@archlinux.org>2019-08-09 19:41:53 +0200
commit10c6efc440c732b70c1f11302777987cdf7e31de (patch)
tree48201a3da1965a5deaf187ab69cf3eb58b1fba1a /.gitignore
parent8e4293034b1d29fde3bbcb8398d014674d27b97f (diff)
downloaddevtools32-10c6efc440c732b70c1f11302777987cdf7e31de.tar.xz
archbuild: prefer repo/arch-specific configs if they exist
When mixing and matching different repos and architectures not present in mainline archlinux, it is sometimes desirable to set up differing presets with more granularity than devtools currently allows. One example of this is when building for architectures that are only supported by another project -- in order to coexist on a mainline archlinux host, a different mirrorlist needs to be used. Signed-off-by: Eli Schwartz <eschwartz@archlinux.org> Signed-off-by: Levente Polyak <anthraxx@archlinux.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions