diff options
author | Remi Collet <fedora@famillecollet.com> | 2015-01-15 07:16:34 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2015-01-15 07:16:34 +0100 |
commit | 7460a9a06d168e888b8e701382c65f709329c3f9 (patch) | |
tree | 7626d91f0efdf54181865ed2f172d28bf100edd0 | |
parent | ef8e8b853db3a037ce006c4e7a117a79aaded4cc (diff) |
checkpkgist: ignore horde for now
-rwxr-xr-x | checkpkgist/checkpkgist.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/checkpkgist/checkpkgist.php b/checkpkgist/checkpkgist.php index 5a37bfc..2fd55ac 100755 --- a/checkpkgist/checkpkgist.php +++ b/checkpkgist/checkpkgist.php @@ -68,6 +68,11 @@ class PkgClient { function run($name, $rpm) { global $quiet, $verb, $client; + list($owner, $library) = explode('/', $name, 2); + if ($owner == 'horde') { + return; + } + if (!$quiet) { printf(" %-40s\r", $rpm); } |