diff options
| author | Eli Schwartz <eschwartz@archlinux.org> | 2019-05-20 14:10:35 -0400 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-16 14:26:44 +0200 |
| commit | b2303fbececd4aa117f385dca376934364117b16 (patch) | |
| tree | cdd6ed1ac524fea45222404ed515dd91d58ac8b7 /.gitignore | |
| parent | 5e80e8edb5a0186fd9e026d7ba100dbe977b744b (diff) | |
| download | devtools32-b2303fbececd4aa117f385dca376934364117b16.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.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions