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) <[email protected]>
Date: Thu May 31 16:05:49 2018 +0200
Version 20180531
commit 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe
Author: Eli Schwartz via arch-projects <[email protected]>
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 <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
Makefile | 2 +-
makechrootpkg.in | 7 +++++++
2 files changed, 8 insertions(+), 1 deletion(-)
hooks/post-receive
--
The official devtools repository
