diff options
author | Levente Polyak <anthraxx@archlinux.org> | 2021-07-18 18:27:14 +0200 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2021-11-18 20:31:23 +0100 |
commit | dacde204c91b9c5cb25ac793c17e13d287187b57 (patch) | |
tree | 5bb42b72e661ad58a9c27b0437c280497840b450 /.gitignore | |
parent | 1f1f6be8892d95eb62fb8d0d190f816b3db32d8e (diff) | |
download | devtools-dacde204c91b9c5cb25ac793c17e13d287187b57.tar.xz |
makerepropkg: use correct devtools makepkg.conf files from dist
Use the recorded buildtool in order to download the matching dist
package and use the appropriate makepkg.conf for reproducing the
package. This is required as the flags are not recorded in the BUILDINFO
hence we need to provide the matching config that declared those flags.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions