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	Jan Alexander Steffens (heftig) <jan.steffens@gmail.com>	2018-05-31 16:03:13 +0200
commit	98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (patch)
tree	c9e1291fe1e686301f17bb805d6c2abca1d70f86 /pacman-extra.conf
parent	e414173f8984485ff850e1fba0f8cf97cd970064 (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>

Diffstat (limited to 'pacman-extra.conf')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: