diff options
author | Remi Collet <fedora@famillecollet.com> | 2015-06-03 19:05:59 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2015-06-03 19:05:59 +0200 |
commit | ba38f24a35a19f786fe457340c5ee0ea7cac919d (patch) | |
tree | a11bf567eb0aa1c8a9e86ff5bca95448d9a4911a /checkpkgist.php | |
parent | aeaa05e6564c040acd2e07967cca4bb4ae05d6a7 (diff) |
ignore not yet released znerol/php-stringprep
Diffstat (limited to 'checkpkgist.php')
-rwxr-xr-x | checkpkgist.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/checkpkgist.php b/checkpkgist.php index f163353..06a6cb1 100755 --- a/checkpkgist.php +++ b/checkpkgist.php @@ -1,4 +1,4 @@ -#!/usr/bin/php +#!/usr/bin/env php <?php /** * CheckPkgist is a tool to check RPM update needed @@ -68,6 +68,9 @@ class PkgClient { function run($name, $rpm) { global $quiet, $verb, $client; + if (in_array($name, ['znerol/php-stringprep'])) { + return; + } list($owner, $library) = explode('/', $name, 2); if (in_array($owner, ['horde', 'kolab'])) { return; |