makechrootpkg: whitelist return code 14 from makepkg - devtools32

diff options

author	Eli Schwartz via arch-projects <arch-projects@archlinux.org>	2018-05-29 17:23:10 -0400
committer	Luke Shumaker <lukeshu@parabola.nu>	2018-08-03 12:27:55 -0400
commit	b4c286862a202e1b92aa9382b7e986d7511373ad (patch)
tree	b38f7fb8151df473389f97de71c8d2b0f070b46d /zsh_completion.in
parent	b1773440be67eb9a5ac157c64d2d357bb1163f53 (diff)

makechrootpkg: whitelist return code 14 from makepkg

makepkg 5.1 implements error codes, and 14 means that installing the packages after they were built has failed. We don't care about this error and would like makechrootpkg to succeed regardless, e.g. for split packages that are mutually exclusive. Signed-off-by: Eli Schwartz <eschwartz@archlinux.org> (cherry picked from commit 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe)

Diffstat (limited to 'zsh_completion.in')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: