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 1e043445d2fc264efa73089086f6a769183ad52b (commit) from 3029c8e4bcaf090327bddd8668a6fa1462e22e42 (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 1e043445d2fc264efa73089086f6a769183ad52b Author: Dave Reisner Date: Sun Nov 3 18:57:07 2013 -0500 find_cached_package: avoid adding duplicates If PKGDEST is set when makepkg was run, the package will be present in find_cached_package's search path by default, causing an error. This also fixes a display bug which causes no output to be shown when multiple packages are found. Fixes FS#37626. Signed-off-by: Dave Reisner Signed-off-by: Pierre Schmitz ----------------------------------------------------------------------- Summary of changes: lib/common.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) hooks/post-receive -- The official devtools repository