diff options
| -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; |