Fix: allowMissingFiles not respected for ignored files (#4259)

vimeo · Sep 29, 2020 · 046725b · 046725b
1 parent 1eca537
commit 046725b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Psalm/Config/FileFilter.php b/src/Psalm/Config/FileFilter.php
@@ -259,7 +259,7 @@ public static function loadFromXMLElement(
 
                 $file_path = realpath($prospective_file_path);
 
-                if (!$file_path) {
+                if (!$file_path && !$allow_missing_files) {
                     throw new ConfigException(
                         'Could not resolve config path to ' . $base_dir . DIRECTORY_SEPARATOR .
                         (string)$file['name']