diff options
| author | Côme Chilliet <come.chilliet@nextcloud.com> | 2022-02-21 20:21:38 +0300 |
|---|---|---|
| committer | backportbot[bot] <backportbot[bot]@users.noreply.github.com> | 2022-02-22 11:08:30 +0300 |
| commit | 517e5a506c3f71f7dba49c0de42401efce16eda3 (patch) | |
| tree | 7d98e0c4fad89104915cfe56115ad2b84d347d75 /build | |
| parent | 1288f33fd12269a041e67070c7310dfba9eb5556 (diff) | |
Avoid PHP errors in the checkers drone step
Signed-off-by: Côme Chilliet <come.chilliet@nextcloud.com>
Diffstat (limited to 'build')
| -rw-r--r-- | build/triple-dot-checker.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/triple-dot-checker.php b/build/triple-dot-checker.php index fa5edfcd5ee..15985a0a95c 100644 --- a/build/triple-dot-checker.php +++ b/build/triple-dot-checker.php @@ -32,7 +32,7 @@ foreach ($directories as $dir) { $it = new \RecursiveDirectoryIterator($dir); foreach (new RecursiveIteratorIterator($it) as $file) { - if ($file->getExtension() === 'map') { + if (($file->getExtension() === 'map') || $file->isDir()) { continue; } $content = file_get_contents($file->getPathname()); |