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 | d7d2c091a6b87503b7e1d836ed5b848df92ae2f7 (patch) | |
tree | 6ab052b4d0f9e911a1fd031b3516c7a1467866a5 | |
parent | ad891181f1cccba295335492e96f744ae0ddeb18 (diff) |
checkpkgist: ignore horde for now
-rwxr-xr-x | checkpkgist.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/checkpkgist.php b/checkpkgist.php index 5a37bfc..2fd55ac 100755 --- a/checkpkgist.php +++ b/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); } |