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 | 15b28cd624c46ac26d10d5fb6e97055bc6d522fe (patch) | |
tree | eae1fe5ec4637a58d045cdacb79ba23cc4c88d0d /checkpkgist/checkpkgist.php | |
parent | 8e27d1fb476d8a7b758db041f376668c7a79268b (diff) |
ignore not yet released znerol/php-stringprep
Diffstat (limited to 'checkpkgist/checkpkgist.php')
-rwxr-xr-x | checkpkgist/checkpkgist.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/checkpkgist/checkpkgist.php b/checkpkgist/checkpkgist.php index f163353..06a6cb1 100755 --- a/checkpkgist/checkpkgist.php +++ b/checkpkgist/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; |