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 <[email protected]>
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 <[email protected]>
Signed-off-by: Pierre Schmitz <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
lib/common.sh | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
hooks/post-receive
--
The official devtools repository
