[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180528-3-g6364b3c

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository". The branch, master has been updated via 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (commit) via 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (commit) from e414173f8984485ff850e1fba0f8cf97cd970064 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f Author: Jan Alexander Steffens (heftig) Date: Thu May 31 16:05:49 2018 +0200 Version 20180531 commit 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe Author: Eli Schwartz via arch-projects Date: Tue May 29 17:23:10 2018 -0400 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 ----------------------------------------------------------------------- Summary of changes: Makefile | 2 +- makechrootpkg.in | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) hooks/post-receive -- The official devtools repository