Fix

zoonru · Nov 30, 2023 · 6b99673 · 6b99673
1 parent aaa040e
commit 6b99673
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/Psalm/Internal/CliUtils.php b/src/Psalm/Internal/CliUtils.php
@@ -323,8 +323,7 @@ public static function getPathsToCheck(string|array|false|null $f_paths): ?array
             }
 
             if (!file_exists($path_to_check)) {
-                fwrite(STDERR, 'Cannot locate ' . $path_to_check . PHP_EOL);
-                exit(1);
+                continue;
             }
 
             $path_to_check = realpath($path_to_check);