offload-build: handle user specific makepkg.conf on the remote host - devtools32

diff options

author	Levente Polyak <anthraxx@archlinux.org>	2020-02-12 00:05:00 +0100
committer	Levente Polyak <anthraxx@archlinux.org>	2020-02-12 00:05:00 +0100
commit	bcb1b4a163694347604f3ad4fef254737fe923ff (patch)
tree	9c7e27e7f6c1acbe63666db36b0a5d17739c1309 /doc/find-libprovides.1.asciidoc
parent	57fb44b97662e1c3753c150a231c5a362049025a (diff)

offload-build: handle user specific makepkg.conf on the remote host

This ensures we take user specific config values for PKGDEST into account when printing the package list. This is required as devtools archbuild_cmd puts packages potentially into the user defined PKGDEST which the package list would otherwise miss.

Diffstat (limited to 'doc/find-libprovides.1.asciidoc')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: