diff options
| author | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 13:37:53 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 14:01:10 +0300 |
| commit | 42bb6cd7d780e6405c55c975621781b4ee0e585e (patch) | |
| tree | b2890286b77188efa8083805d61d9d661570dcd1 /build/files-checker.php | |
| parent | c6b251ca0c6f8f0d1c99fe7b4a4e5d9c0792cd5b (diff) | |
Check only the baseline.xml and exclude the psalm.xml from the file check
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Diffstat (limited to 'build/files-checker.php')
| -rw-r--r-- | build/files-checker.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/files-checker.php b/build/files-checker.php index b8c60727b0c..08cf21dde8d 100644 --- a/build/files-checker.php +++ b/build/files-checker.php @@ -70,6 +70,7 @@ $expectedFiles = [ 'ocs', 'package-lock.json', 'package.json', + 'psalm.xml', 'public.php', 'README.md', 'remote.php', |