diff options
| author | Eli Schwartz via arch-projects <arch-projects@archlinux.org> | 2018-05-29 23:23:10 +0200 |
|---|---|---|
| committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2018-05-31 16:03:13 +0200 |
| commit | 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (patch) | |
| tree | c9e1291fe1e686301f17bb805d6c2abca1d70f86 /archrelease.in | |
| parent | e414173f8984485ff850e1fba0f8cf97cd970064 (diff) | |
| download | devtools-98ff92f4675aeab379b9d5ed85e68778e1cc0dfe.tar.gz devtools-98ff92f4675aeab379b9d5ed85e68778e1cc0dfe.tar.xz | |
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 'archrelease.in')
0 files changed, 0 insertions, 0 deletions